SOLUTION: Solve the following Proof: 1. G => (S&T) 2. (S v T) => J 3. G /J

Algebra ->  Proofs -> SOLUTION: Solve the following Proof: 1. G => (S&T) 2. (S v T) => J 3. G /J       Log On


   

Question 1154594: Solve the following Proof:
1. G => (S&T)
2. (S v T) => J
3. G /J
Answer by math_helper(2461) About Me  (Show Source):
You can put this solution on YOUR website!



1. G => (S&T)         Premise 

2. (S v T) => J       Premise

3. G                  Premise

4. S & T              3,1 Modus Ponens (MP)

5. S                  4 Simplification (SIMP)

6. S v T              5 Addition (ADD)

7. J                  6,2 MP



--------

There are other ways to go that are equally valid.  One example: we could have used T true on line 5 and ADDed S on line 6.