SOLUTION: Please help me solve this problem.... 1. J v (I * S) 2. J-> S / S. I need to find the proof for it and I am horrible at this. I appreciate any kind of help. Thank you!

Algebra ->  Proofs -> SOLUTION: Please help me solve this problem.... 1. J v (I * S) 2. J-> S / S. I need to find the proof for it and I am horrible at this. I appreciate any kind of help. Thank you!      Log On


   

Question 194330: Please help me solve this problem....
1. J v (I * S)
2. J-> S / S.
I need to find the proof for it and I am horrible at this. I appreciate any kind of help. Thank you!
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1.  J v (I * S)
2.  J-> S / S
------------------
3.  (J v I) * (J v S)              1       Distribution
4.  (J v S) * (J v I)              3       Commutation
5.  J v S                          4       Simplification 
6.  S v J                          5       Commutation
7.  ~~S v J                        6       Double Negation
8.  ~S -> J                        7       Material Implication
9.  ~S -> S                      8,2       Hypothetical Syllogism
10.  S v S                         9       Material Implication
11.  S                            10       Tautology