SOLUTION: 1. (F . M) > (S v T) 2. (~S v A) > F 3. (~S v B) > M 4. ~S . G / T

Algebra ->  Proofs -> SOLUTION: 1. (F . M) > (S v T) 2. (~S v A) > F 3. (~S v B) > M 4. ~S . G / T       Log On


   

Question 869136: 1. (F . M) > (S v T) 2. (~S v A) > F 3. (~S v B) > M 4. ~S . G / T
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1. (F . M) > (S v T) 
2. (~S v A) > F 
3. (~S v B) > M 
4. ~S . G                    / T 
---------------------------------
5. ~S                        4     Simplification
6. ~S v A                    5     Addition   
7. ~S v B                    5     Addition   
8. F                         2,6   Modus Ponens
9. M                         3,7   Modus Ponens
10. F . M                    8,9   Conjunction   
11. S v T                    1,10  Modus Ponens  
12. T                        11,5  Disjunctive Syllogism