LOGIC PROOF
List
My list
Create
Clone
Info
Login
p ; p
→
q ; q
→
r
∴
p
∧
(q
∧
r)
TRUE
p
p
→
q
q
→
r
p
∧
(q
∧
r)
Truth check table
Case
p
q
r
p
→
q
q
→
r
p
∧
(q
∧
r)
1
T
T
T
T
T
T
2
T
T
F
T
F
F
3
T
F
T
F
T
F
4
T
F
F
F
T
F
5
F
T
T
T
T
F
6
F
T
F
T
F
F
7
F
F
T
T
T
F
8
F
F
F
T
T
F
Public:
Yes
,
Show truth table:
Yes
,
Tags: