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

Question

Prove that the following arguments are standard by constructing metaphorical proof

$(A\ \rightarrow\ E)\ \&\ (D\ \rightarrow\ F)$

$B\ \&\ (A\ v\ D)$

$(E\ v\ F)\ \rightarrow\ (B\ v\ D)$

$\sim\ B$

$\therefore D$

✓

Answer

$(1)\ (A \rightarrow E)\ \&\ (D \rightarrow F)$	$P$
$(2)\ B\ \&\ (A\ v\ D)$	$P$
$(3)\ (E\ v\ F) \rightarrow(B\ v\ D)$	$P$
$(4)\ \sim\ B$	$P/\ \therefore D$
$(5)\ A\ v\ D$	$2,$ Simp.
$(6)\ A\ \rightarrow\ E$	$1,$ Simp.
$(7)\ D\ \rightarrow\ F$	$1,$ Simp.
$(8)\ E\ v\ F$	$6, 7, 5, CD$
$(9)\ B\ v\ D$	$3, 8, MP$
$(10)\ D$	$9, 4, DS$

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 $\leftrightarrow$ [p v (q & ~ q)]

All festivals are Manglik.
All weddings are Manglik.
All weddings are celebrations.

Write a short note: General Symptom Empathy.

$(P \rightarrow q)\ v\ (p\ \&\ q)$

Pranjal is Kinjal's girlfriend.
Gunjan is Pranjal's girlfriend.
Gunjan is Kinjal's girlfriend.

Prove that the following arguments are standard by constructing metaphorical proof

$K\rightarrow\ (W\ \rightarrow\ X)$

$( \sim\ Q\ \&\ \sim\ K)\ \rightarrow\ (\sim\ Y\ v\ \sim\ M)$

$(\sim\ Y\ \rightarrow\ \sim\ Z)\ \&\ (\sim\ M\ \rightarrow\ \sim\ P)$

$(W\ \rightarrow\ X)$

$\therefore \sim\ Z\ v\ \sim\ p$

No scientist is illiterate.
No lawyer is illiterate.
No lawyer is a scientist.

All moderates are peaceful.
All dieters are peace loving.
All dieters are moderate.

All butterflies are colorful.
Some flowers are not colorful.
Some flowers are butterflies.

All artisans are diligent.
Some engineers are craftsmen.
Some engineers are diligent.