((p V q) ∧ ~ q) → p
~ is negation, ~T gets an F and ~F gets a T
V is disjunction. F V F gets an F, everything else gets a T.
∧ is conjunction. T ∧ T gets a T, everything else gets an F.
→ is conditional. T → F gets an F, everything else gets a T.
((p V q) ∧ ~ q) → p
p | q | p V q | ~q | (p V q) ∧ ~ q || ((p V q) ∧ ~ q) → p |
T | T | T | F | F || T |
T | F | T | T | T || T |
F | T | T | F | F || T |
F | F | F | T | F || T |
Since it came out TTTT, all T's it is a tautology, always true.
Edwin
