Flowchart
Untitled
Flowchart content
[ ( 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
Information
- Description
- Flowchart on Untitled, created by Alex Flores on 20/09/2018.
- Created by
- Alex Flores
- Views
- 0
- Rating