Consider the wffs: φ1 ≡ p1 → (p2 → (p3 → p4)) φ2 ≡ (p1 ∧ p2 ∧ p3) → p4 (a) Technically speaking, neither φ1 nor φ2 is well-formed since neither is allowed by the formal syntax of propositional logic....

Consider the wffs:
φ1 ≡ p1 → (p2 → (p3 → p4))
φ2 ≡ (p1 ∧ p2 ∧ p3) → p4
(a) Technically speaking, neither φ1 nor φ2 is well-formed since neither is allowed by the formal syntax
of propositional logic. Correct them. Note, however, that we will freely make such trivial ’errors’
throughout this semester (as do most such courses).
(b) Use truth tables (in the form defined in this course) to show that φ1 ↔ φ2.
(c) After internalizing an intuitive understanding of this equality, propose an extension of it to n
atoms.
(d) State the number of rows in a truth table for proving the extension.

Extracted text: Consider the wffs: 01 = P1 → (P2 → (P3 → P4)) 2 = (P1 A p2 A p3) → Pa (a) Technically speaking, neither ø1 nor éz is well-formed since neither is allowed by the formal syntax of propositional logic. Correct them. Note, however, that we will freely make such trivial 'errors' throughout this semester (as do most such courses). (b) Use truth tables (in the form defined in this course) to show that Fớ1 + 2. (c) After internalizing an intuitive understanding of this equality, propose an extension of it to n atoms. (d) State the number of rows in a truth table for proving the extension.