Prove that the following arguments are standard by constructing m… - Vidyadip

Question

Prove that the following arguments are standard by constructing metaphorical proof

$(A\ v\ B)\ \rightarrow [D\ \rightarrow\ (P\ \&\ \sim \ Q)]$

$(A\ \&\ J) \rightarrow [(P\ \&\ \sim\ Q)\ \rightarrow\ K]$

$(A\ \&\ J)\ \&\ (\sim\ K\ v\ D)$

$\therefore (D\rightarrow K)\ v\ \sim\ Q$

✓

Answer

$(1)\ (A\ V\ B)\ \rightarrow[D\ \rightarrow\ (P\ \&\ \sim\ Q)]$	$P$
$(2)\ (A\ \&\ J)\ \rightarrow[(P\ \&\ \sim\ Q) \rightarrow K]$	$P$
$(3)\ (A\ \&\ d)\ \&\ ( \sim\ K\ v\ D)$	$P/\therefore (D \rightarrow K) v \sim Q$
$(4)\ A\ \&\ J$	$3,$ Simp.
$(5)\ A$	$4,$ Simp.
$(6)\ A\ v\ B$	$5, $ Add.
$(7)\ D\ \rightarrow (P\ \&\ \sim\ Q)$	$1, 6, MP$
$(8)\ (P\ \& \sim\ Q)\ \rightarrow\ K$	$2, 4, MP$
$(9)\ D\ \rightarrow\ K$	$7, 8, HS$
$(10)\ (D\ \rightarrow\ K)\ v\ \sim\ Q$	$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

Explore more

More "question To The Point .Marks)" from Rules of conjecture→Rules of conjecture — all question types→Philosophy STD 12 Arts question papers→Gujarat Board STD 12 Arts question papers→Gujarat Board question paper generator→

Similar questions

$P\ v (Q\ \&\ R)$
$\sim P$
$\therefore Q\ \&\ R$

All pedestrians are devotees.
Some devotees are devotees.
Some devotees are pedestrians.

Prove that the following arguments are standard by constructing metaphorical proof

$T \rightarrow W$

$X \rightarrow Y$

$Z \rightarrow W$

$X \rightarrow A$

$W \rightarrow X$

$[(T \rightarrow Y)\ \&\ (Z \rightarrow A)] \rightarrow (T\ v\ Z)$

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)$

Determine the validity of the following arguments using the direct method of truth table:
$P \rightarrow \sim (Q\ \&\ R)$
$\therefore\ \sim (Q\ \&\ R) \rightarrow P$

Prove that the following arguments are standard by constructing metaphorical proof

$J\ v\ (J\ \&\ K)$

$J \rightarrow D$

$\therefore K\ v\ M$

Types of complex joint statements

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)$

$(p \rightarrow q)\ \&\ \sim (p \rightarrow q)$