LOGIC PROOF
List
My list
Create
Clone
Info
Login
I'm applying modus tollens
TRUE
~
(A
→
B)
C
→
(A
→
B)
~
C
Truth check table
Case
A
B
C
~
(A
→
B)
C
→
(A
→
B)
~
C
1
T
T
T
F
T
F
2
T
T
F
F
T
T
3
T
F
T
T
F
F
4
T
F
F
T
T
T
5
F
T
T
F
T
F
6
F
T
F
F
T
T
7
F
F
T
F
T
F
8
F
F
F
F
T
T
Public:
Yes
;
Show truth table:
Yes
;