SOLUTION: 1. (K ¡ L) ⊃ (M ● N) 2. (N ¡ O) ⊃ (P ● ∼K)/ ∼K

Question 1208772: 1. (K ¡ L) ⊃ (M ● N) 2. (N ¡ O) ⊃ (P ● ∼K)/ ∼K

Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!

I will assume " ¡ " means " or" or "disjunction.

1. (K ¡ L) ⊃ (M ● N)  
2. (N ¡ O) ⊃ (P ● ∼K)   / ∼K
                3. ~~K       Assumption for indirect proof
                4. K           3, double negation
                5. K ¡ L       4, addition    
                6. M ● N     1,5, modus ponens
                7. N ● M       6, commutation  
                8. N           7, simplification
                9. N ¡ O       8, addition
               10. P ● ∼K    2,9, modus ponens
               11. ~K ● P     10, commutation
               12. ~K         11, simplification
               13. ~~K ● ~K 3,12, conjunction
14. ~K     Lines 3-13 for indirect proof
 
Edwin

RELATED QUESTIONS
III. Use Indirect Proof to solve the following arguments (K v L) ⊃ (M • N) (N v... (answered by jim_thompson5910)

1. (P>K) V (F>Y) 2. (PvF) . (KvY) 3. [(P>K)>~N]. [(F>Y)>O] 4. K . ~Y / ~NvO (answered by lynnlo,jim_thompson5910)

Write the number of permutations in factorial form. Then simplify. J K L M N O... (answered by Fombitz)

P l e a s e h e l p m e s o l v e t h i s f i n d t h e c a p a c i t y i n l i... (answered by rothauserc)

Premise: 1. (K ∨ L) ⊃ (M • N) 2. (N ∨ O) ⊃ (P • ~K) Conclusion: ~K Use (answered by math_tutor2020)

I need help completing proofs for my deductive logic class. Can you help me with this... (answered by jim_thompson5910)

I need help finishing this proof. (~K -> K) -> ~L, ~(~L -> ~M) -> L, M :. K <-> ~L 1. (answered by jim_thompson5910)

For arbitrary positive integers k, m, and n, will there exist a prime p such that... (answered by Edwin McCravy)

How do I complete the following proofs? Premises: 1. L ⊃ M 2. L 3. K v Q... (answered by Edwin McCravy)