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

Algebra ->  Proofs -> SOLUTION: Create a proof for the following argument 1. ∼(F • J) ⊃ (∼J ⊃ K) 2. ∼(F • J) 3. ∼K /∼∼J 4.      Log On


   

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) About Me  (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