SOLUTION: 1. (I v K)>~L 2. (H v J) >I 3. ~K 4. H v K /~L

Algebra ->  Proofs -> SOLUTION: 1. (I v K)>~L 2. (H v J) >I 3. ~K 4. H v K /~L      Log On


   

Question 1061179: 1. (I v K)>~L
2. (H v J) >I
3. ~K
4. H v K
/~L
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!

NumberStatementLines UsedReason
1(I v K) > ~L
2(H v J) > I
3~K
4H v K
:.~L
5K v H4Comm
6H5,3DS
7H v J6Add
8I2,7MP
9I v K8Add
10~L1,9MP


Abbreviations/Acronyms used:

Add = Addition
Comm = Commutation
DS = Disjunctive Syllogism
MP = Modus Ponens