Professional Documents
Culture Documents
a.
p q ~q p ∨ ~q q p
T T F T T T
p ∨ ~q T F T T F T
q F T F F T F
∴p F F T T F F
VALID
b. p q ~q p→~q q ~p
T T F F T F
p → ~q T F T T F F
_q F T F T T T
F F T T F T
∴ ~p
VALID