Premise:
(K ∨ L) ⊃ (M • N)
(N ∨ O) ⊃ (P • ~K)
Conclusion:
~K
Use either indirect proof or conditional proof (or both) and the eighteen rules of inference to derive the conclusion of the following symbolized argument.