Question
Prove that the following arguments are standard by constructing metaphorical proof
$R \rightarrow S$
$P \rightarrow Q$
$P\ v\ Q$
$Q \rightarrow R$
$\therefore (P \rightarrow R) \& (R\ v\ S)$

Answer

$(1)\ R \rightarrow S$ $P$
$(2)\ P \rightarrow Q$ $P$
$(3)\ P\ v\ Q$ $P$
$(4)\ Q \rightarrow R$ $P/\therefore\ (P\ \rightarrow\ R)\ \&\ (R\ v\ S)$
$(5)\ P \rightarrow R$ $2, 4, HS$
$(6)\ Q \rightarrow S$ $4, 1, HS$
$(7)\ R\ v\ S$ $5, 6, 3, CD$
$(8)\ (P \rightarrow R)\ \&\ (R\ v\ S)$ $5, 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