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

Answer

$(1)\ (K \rightarrow P) \rightarrow B$ $P$
$(2)\ \sim\ R$ $P$
$(3)\ (K \rightarrow P)\ v\ B$ $P$
$(4)\ B\ V\ R$ $P/ \therefore \sim (K \rightarrow\ P)\ \&\ B$
$(5)\ (K \rightarrow P) \rightarrow R$ $1, 4, HS$
$(6)\ \sim (K \rightarrow P)$ $5, 2, MT$
$(7)\ B$ $3, 6, DS$
$(8)\ \sim\ (K \rightarrow P)\ \&\ B$ $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

Similar questions

Determine the validity of the following arguments using the direct method of truth table:
$P \rightarrow (Q \rightarrow R)$
$\sim R$
$\therefore Q \rightarrow \sim P$
Prove that the following arguments are standard by constructing metaphorical proof
$\sim\ L\ \rightarrow\ \sim\ N$
$(A\ v\ B)\ \rightarrow\ Q$
$Q\ \rightarrow\ [(S\ \&\ T) \rightarrow\ P]$
$(S\ \&\ T)\ v\ \sim\ L$
$A\ v\ B$
$\therefore\ (P\ v\ \sim\ N)\ \&\ Q$
Prove that the following arguments are standard by constructing metaphorical proof
$A \rightarrow B$
$C \rightarrow D$
$\sim B\ \&\ \sim D$
$(\sim A\ \&\ \sim C)\ v\ P$
Prove that the following arguments are standard by constructing metaphorical proof
(~ X v ~ Y) $\rightarrow$ [A $\rightarrow$ (P & ~ Q)]
(~ X & ~R) $\rightarrow$ [(P & ~Q) $\rightarrow$ Z)
(~ X & ~R) & (~ Z v A)
$\therefore$ (A $\rightarrow$ Z) v ~ R
All archeologies is valuable.
Some archeology is not artistic.
Some are not artistically valuable.
Prove that the following arguments are standard by constructing metaphorical proof
$(A\ v\ B) \rightarrow D$
$A$
$\therefore  (D\ \&\ A)\ v\ P$
Prove that the following arguments are standard by constructing metaphorical proof
$A \rightarrow J$
$B \rightarrow R$
$(A\ v\ B)\&\ \sim D$
$J \rightarrow D$
$\therefore  (D\ v\ R)\ \&\ (B\ v\ K)$
 
Prove that the following arguments are standard by constructing metaphorical proof
$R\ \rightarrow\ (A\ \&\ B)$
$P\ v\ \sim\ (S\ \&\ T)$
$\sim\  T\ \&\ \sim\  P$
$(A\ \&\ B)\ \rightarrow\ (S\ \&\ T)$
$(\sim\  R\ \&\ \sim\ T)\ v\ D$
Prove that the following arguments are standard by constructing metaphorical proof
$A \rightarrow B$
$(A\ \&\ B) \rightarrow C$
$A$
$\therefore (A\ \&\ B)\ \&\ (A\ \&\ C)$
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)$