p ~p q p V q (p V q) -> ~p
-----------------------------------
T F T T F
T F F T F
F T T T T
F T F F T
A conditional is false whenever the antecedent is true but the consequent is nevertheless false. The conditional is true otherwise.
John

My calculator said it, I believe it, that settles it
From
I > Ø