Fluxograma
Sem título
Conteúdo do fluxograma
[ ( p → q ) ∧ ( q → r ) ∧ ( r → t ) ∧ ( t → u ) ∧ q ] → u
F
V
V
V
V
V
V
r → ~s
4
5
s ∨ t
/.·. t
6
~p → r
1,2 - SH
7
q → ~s
2,3 - SH
8
~[q ∧ ~(~s)]
7 - V.C b).
9
~(q ∧ s)
8 - DN
10
V
V
V
V
V
V
V
V
V
V
V
V
3
2
1
11
t
~s
~p → q
q → r
9 - Simp
8 - V.C b)
12
~(p ∧ ~q)
4, 10 - SD
p
~u ∧ ~t
8 - V.C b)
13
Informações
- Descrição
- Fluxograma sobre Sem título, criado por Alex Flores em 20-09-2018.
- Criado por
- Alex Flores
- Visualizações
- 0
- Avaliação