Professional Documents
Culture Documents
p q ¬p p ∨ q ¬ p ∧ ( p ∨ q ) [ ¬ p ∧ ( p ∨ q ) ] → q
T T F T F T
T F F T F T
F T T T T T
F F T F F T
Conclusion: The conditional statement is a tautology because the proposition is always true.