Question
Prove that the following arguments are standard by constructing metaphorical proof
(A & B) $\rightarrow$ [A $\rightarrow$ (D & E)]
(A & B) & C
$\therefore$E v G

Answer

(1) (A & B) $\rightarrow$ (A$\rightarrow$ (D & E) P
(2) (A & B) & C P /$\therefore$ E v G
(3) A & B 2, Simp.
(4) A $\rightarrow$(D & E) 1, 3, MP
(5) A 3, Simp.
(6) D & E 4, 5, MP
(7) E 6, Simp.
(8) E v G 7, Add

Need a full question paper?

Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.

Start Generating Free