StudyDaddy Philosophy Hello, I need help writing proofs for a logic and moral reasoning philosophy class. The proofs are for: 1. Premises: q -> (q &~ q) Conclusion: ~q 2. Premises: k & l

Hello, I need help writing proofs for a logic and moral reasoning philosophy class. The proofs are for: 1. Premises: q -> (q &~ q) Conclusion: ~q 2. Premises: k & l

HW 7

Create proofs for each problem that start with the premises given and end with the given conclusion.

(1)

Premises:

p & q

Conclusion:

p V q

  1. p & q

Simp, 1

  1. p V q

Add 2

(2)

Premises:

Conclusion:

(p V q) V r

  1. p

  1. p V q

Add, 1

  1. (p V q) V r

Add, 2

(3)

Premises:

p -> q

Conclusion:

q V r

  1. p -> q

MP, 1-2

  1. q V r

Add, 3

(4)

Premises:

p & (q & r)

r -> s

Conclusion:

  1. p & (q & r)

  1. r -> s

  1. q & r

Simp, 1

Simp, 2

MP, 2, 4

(5)

Premises:

q

(p & q) -> r

Conclusion:

  1. p

  1. (p &q) -> r

  1. p & q

Conj 1, 2

MP 3, 4


Have a similar question?

Continue to edit or attach image(s).

  • Fast and convenient

    Fast and convenient

    Simply post your question and get it answered by professional tutor within 30 minutes. It's as simple as that!

  • Any topic, any difficulty

    Any topic, any difficulty

    We've got thousands of tutors in different areas of study who are willing to help you with any kind of academic assignment, be it a math homework or an article.

  • 100% Satisfied Students

    100% Satisfied Students

    Join 3,4 million+ members who are already getting homework help from StudyDaddy!