Question
Prove that the following arguments are standard by constructing metaphorical proof
(G $\rightarrow$ H) $\rightarrow$ (I $\leftrightarrow$ J)
K v ~(L $\rightarrow$ M)
(G $\rightarrow$ H) v ~ K
N $\rightarrow$ (L $\rightarrow$ M)
~ (I J)
$\therefore$~ N & ~ K

Answer

(1)(G $\rightarrow$ H) $\rightarrow$ (I $\leftrightarrow$ J) P
(2)( K v ~ (L$\rightarrow$ M) P
(3) (G $\rightarrow$ H) v ~ K P
(4) N $\rightarrow$ (L $\rightarrow$ M ) P
(5) ~(I$\leftrightarrow$ J) P/$\therefore$ ~N & ~ K
(6) ~ (G $\rightarrow$H) 1,5 MT
(7) ~ K 3, 6 DS
(8) ~ ( L $\rightarrow$ M) 2, 7, DS
(9) ~ N 4, 8, MT
(10) –N & ~ K 9, 7, Conj.

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