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