Give a formal argument which reaches the indicated conclusion from the premises

Question

Give a formal argument which reaches the indicated conclusion from the premises below. At each step of the argument state clearly the rule of inference used. (See lecture notes beginning page 79.) Define all propositional variables used. Premises: 1. Nina is a judge or a doctor. 2. If Nina is a doctor, then she owns a stethoscope. 3. Nina owns neither a gavel nor a stethoscope. Conclusion: Nina is a judge.

Please show work, thanks.

2. Give a formal argument which reaches the indicated conclusion from the premises below. At each step of the argument state clearly the rule of inference used. (See lecture notes beginning page 79.) Define all propositional variables used. Premises: Conclusion: 1. Nina is a judge or a doctor. Nina is a judge. a stethoscope. 3. Nina owns neither a gavel nor a stethoscope

Explanation / Answer

D : Nina is a doctor

J : Nina is a judge

S : Nina owns a stethoscope

G : Nina owns a gavel

Hypothesis : D v J , D-> S , !G ^ !S

(1) !G ^ !S (Hypothesis)

(2) !S (Simpliflication of 1 )

(3) D->S (Hypothesis)

(4) !D (modus tollens of 2 and 3 )

(5) D V J (hypothesis)

(6) J ( Disjunctive Syllogism of 4 and 5 )

Hence Proved.

Related Questions

Navigate

• Browse (All)
• Browse G
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.