辅导 PHIL1012 introductory logic Problem Set 4, PL Trees讲解 Java程序

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.