SOLUTION: Create a proof for the following argument 1. ∼(F • J) ⊃ (∼J ⊃ K) 2. ∼(F • J) 3. ∼K /∼∼J 4.

Question 1139912: Create a proof for the following argument
1. ∼(F • J) ⊃ (∼J ⊃ K)
2. ∼(F • J)
3. ∼K /∼∼J
4.
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!

Create a proof for the following argument

1. ∼(F • J) ⊃ (∼J ⊃ K)
2. ∼(F • J)
3. ∼K              /∼∼J

4. ∼J ⊃ K          1,2, modus ponens
5. ∼∼JJ ∨ K           4,  material implication
6. K ∨ ∼∼J           5,  commutation
7. ∼∼J              6,3, disjunctive syllogism

Edwin

RELATED QUESTIONS
Construct a proof in Natural Deduction for the following argument. Show the proof. Do... (answered by jim_thompson5910)

Complete the truth table to show whether the following argument is valid or invalid. If... (answered by solver91311)

1. J+(K.L) 2. ~K /J Use the eighteen inference rules to construct proofs for the... (answered by Edwin McCravy)

J+k=-L,for... (answered by Fombitz)

h-4 over =k for j... (answered by jim_thompson5910)

How would you prove this argument valid ? 1. A > H 2. G > S 3. ~ K > (A v G) 4. ~ K (answered by math_helper)

Create a proof for the following argument 1. M ⊃ H 2.(K ∨ F) ⊃ M... (answered by Edwin McCravy)

If a(k) = 5+5^2+5^3+5^4+...+5^k , for which of the following values of k will a(k) be... (answered by KMST)

Solve the two step proofs below: 1. ~C 2. A > B 3. B > C / ~A 1. D > E 2. F > G (answered by Edwin McCravy)