PHIL1012 Introductory Logic Problem Set 2
Name: SID:
1. (4 marks) Use a truth table to determine whether the following argument is valid.
If the argument is not valid, give a counterexample.
(A→ ¬B)
(C → A)
—————
¬(B ∧ C)
p.1 (of 2)
2. (4 marks) Use a truth table to determine whether the following argument is valid.
If the argument is not valid, give a counterexample.
(B → ¬A)
(A ∨ ¬C)
—————
¬(B ∧ ¬C)
p.2 (of 2)