Question
Prove that the following arguments are standard by constructing metaphorical proof
$(P \leftrightarrow Q) \rightarrow (A \leftrightarrow B)$
$(R \ \&\ S)\ v\ (P \leftrightarrow Q)$
$(F \ \&\ D) \rightarrow \sim\  (R \ \&\ S)$
$(H \ \&\ G)\ v\ (F \ \&\ D)$
$\sim (H \ \&\ G)$
$(A \leftrightarrow B)\ v\ (B \leftrightarrow D)$

Answer

$(1)\ (P \leftrightarrow Q)\ \rightarrow\ (A \leftrightarrow B)$ $P$
$(2)\ (R \ \&\ S)\ v\ (P \leftrightarrow Q )$ $P$
$(3)\ (F \ \&\ D)\ \rightarrow\ \sim\ (R \ \&\ S)$ $P$
$(4)\ (H \ \&\ G)\ v\ (F \ \&\ D)$ $P$
$(5)\ \sim\  (H \ \&\ G)$ $P/ (A\ \leftrightarrow\ B)\ v\ (B\ \leftrightarrow\ D)$
$(6)\ F \ \&\ D$ $4, 5, DS$
$(7)\ \sim\ (R \ \&\ S)$ $3, 6, MP$
$(8)\ P \leftrightarrow Q$ $2, 7, DS$
$(9)\ A\ \leftrightarrow\ B$ $1, 8, MP$
$(10)\ (A\ \leftrightarrow\ B)\ v\ (B\ \leftrightarrow\ D)$ $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

Similar questions

Prove that the following arguments are standard by constructing metaphorical proof
$M \rightarrow \sim (S \ \&\ T)$
$\sim (A \ \&\ B)\ v\ \sim D$
$\sim D (S \ \&\ T)$
$M$
$[\sim (A \ \&\ B) \ \&\ M)\ v\ D$
$\sim (p\ v\ q) \rightarrow (\sim\ p\ \&\sim\ q)$
Prove that the following arguments are standard by constructing metaphorical proof
$(M\ v\ N)\ \&\ K$
$[M\ v\ N)\ v\ L] \rightarrow H$
$[( M\ v\ N)\ \&\ H] \rightarrow Z$
$\therefore Z$
Determine the validity of the following arguments using the direct method of truth table:
$A \rightarrow B$
$\therefore B \rightarrow A$
Prove that the following arguments are standard by constructing metaphorical proof
$(M \leftrightarrow N) \rightarrow O$
$\sim A\ v\ (B\ \&\ D)$
$B \rightarrow (O \rightarrow P)$
$\sim \sim A$
$\therefore (M \leftrightarrow N) \rightarrow P$
Prove that the following arguments are standard by constructing metaphorical proof
$A \rightarrow B$
$C \rightarrow B$
$(\sim\ A\ \&\ \sim \ C)\  \rightarrow\  (D\  \rightarrow\ E)$
$(E\  \rightarrow\ G)\ \&\ (D\ v\ E)$
$E\ v\ G$
Prove that the following arguments are standard by constructing metaphorical proof
$(R\ \rightarrow\ S)\ \&\ (A\ v\ C)$
$B\ \&\ (P\ \rightarrow\ W)$
$(W\ \rightarrow\ T)\ \&\ (S\ \rightarrow\ Y)$
$P\ v\ R$
$T\ v\ Y$
No teacher is superstitious.
No student is superstitious.
No student is a teacher.
Specify the need for brilliant intelligence in terms of value.
Give the meaning of the figure of the constitution and state its types.