Professional Documents
Culture Documents
2nd Assignment
2nd Assignment
Yr/Sec:
By using the truth table (Truth Matrix), show that each statement is a tautology, contradictory, or a
contingent statement. Show your solution and label if its tautology, contradictory or contingent
statement.
1.
P Q (¬P ∧ Q)
T T F
T F F
F T T
F F F
2.
PQ (¬(P∨Q)→Q)
T T F T T
T F F T T
F T F T T
F F T F F
3.
PQ (¬(P∧Q)∨Q)
T T F T T
T F T F T
F T T F T
F F T F T
4.
PQ (¬P→(P→Q))
T T F T T
T F F T F
F T T T T
F F T T T
5.
PQ (¬Q→(P→Q))
T T F T T
T F T F F
F T F T T
F F T T T