Question 1139912
<pre>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</pre>