Hello, dear friend, you can consult us at any time if you have any questions, add WeChat: daixieit

PHIL1012 Introductory Logic   ·   Problem Set 2   ·   Week 4

Consider the wff (((A ∧ ¬B) ∨ (¬A ∧ B)) ∨ (¬A ∧ ¬B))

1. Write out a construction of this wff.

(You may annotate your construction using the sort of labels used in Wednesday’s lecture from Week 2 — i.e. labels such as ‘I’ and ‘2, 3, IId’ — or the sort of labels used in §2.5.3 of the textbook — i.e. labels such as ‘/ (2i)’ and ‘4, 5 / (2ii∧)’.)

2. Is (A ∧ B) a subformula of this wff? Answer Yes or No, and justify your answer with reference to your construction of the wff.