Question
Prove that the following arguments are standard by constructing metaphorical proof
$M\  \rightarrow\ N$
$D\ v\ (N\  \rightarrow\ P)$
$R\ v\ \sim\ D$
$(A\ \&\ B)\ \rightarrow\ \sim\ R$
$A\ \&\ B$
$(M \rightarrow P)\ v\ Z$

Answer

$(1)\ M\  \rightarrow\ N$ $P$
$(2)\ D\ v\ (N\  \rightarrow\ P)$ $P$
$(3)\ R\ v\ \sim\ D$ $P$
$(4)\ (A\ \&\ B)\  \rightarrow\ \sim\ R$ $P$
$(5)\ A\ \&\ B$ $P/ (M\  \rightarrow\ P)\ v\ Z$
$(6)\ \sim\ R$ $4, 5, MP$
$(7)\ \sim\ D$ $3, 6, DS$
$(8)\ N\  \rightarrow\ P$ $2, 7, DS$
$(9)\ M\  \rightarrow\ P$ $1, 8, HS$
$(10)\ (M\  \rightarrow\ P)\ v\ Z$ $9,$ 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