SOLUTION: 1. J+(K.L) 2. ~K /J Use the eighteen inference rules to construct proofs for the following valid argument

Algebra ->  Proofs -> SOLUTION: 1. J+(K.L) 2. ~K /J Use the eighteen inference rules to construct proofs for the following valid argument      Log On


   

Question 973424: 1. J+(K.L)
2. ~K /J
Use the eighteen inference rules to construct proofs for the following valid argument
Answer by Edwin McCravy(20055) About Me  (Show Source):
You can put this solution on YOUR website!
1. J+(K•L)
2. ~K       /J

3. ~K+~L        2, Addition
4. ~(K•L)       3, DeMorgan's Law
5. J          1,4, Disjunctive Syllogism 

Edwin