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

Answer

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