Hello, if you have any need, please feel free to consult us, this is my wechat: wx91due

PHIL1012, July Intensive

Problem Set 4, PL Trees

Due: July 1, 2025

1.  Use PL trees to answer the following questions.

(a)  Is the following argument valid? If not, read a counterexample off the tree.                                   (2)

((A Λ ¬B) → C), A : ¬ (A →  (B Λ C))

⃝  Valid.

⃝  Not Valid.

(b)  Are the following propositions equivalent? If not, read a counterexample off the tree.                     (3)

((A Λ ¬B) → C), (¬ (A → B) → C)

⃝  Equivalent.

⃝  Not equivalent.