Mirrored from philosophy.hku.hk/think/

Step 1

P
Q
(
P
&
~
Q
)
T T
T
T
T F
T
F
F T
F
T
F F
F
F

Step 2

P
Q
(
P
&
~
Q
)
T T
T
F
T
T F
T
T
F
F T
F
F
T
F F
F
T
F

Step 3

P
Q
(
P
&
~
Q
)
T T
T
F
F
T
T F
T
T
T
F
F T
F
F
F
T
F F
F
F
T
F