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

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

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) (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

RELATED QUESTIONS
1) (A&B) > ~(S v T) 2) ~E 3) (S v T) v ~(~E & ~F) 4) (~E v F) > (A&B) Conclusion: E (answered by solver91311)

I can only use the 8 implicational rules 1. (A v ~B) >(F v (R . G)) 2. A 3. F > L 4. (answered by jim_thompson5910)

How do I solve these proofs? Number one 1.~B v[(C>D)&(E>D)] 2. B&(C v E)... (answered by jim_thompson5910)

A. Use the first thirteen rules of inference to derive the conclusions of the following... (answered by CPhill)

Indirect proof 9. 1) R 2) (~ C v ~ D) v S 3) ~ (C ⋅ D) ⊃ ~R / ∴ S (answered by solver91311)

Prove this with steps please 1 [(A v ~B) v T]->(X->M) 2 (A v R)->(Z->O) 3 A&(X v Z) (answered by Edwin McCravy)

3) I can only use the 8 rules of inference... 1. (M v N) → ~S 2. T → (M v (answered by jim_thompson5910)

Use rules of implication to derive the indicated conclusions. 1. R ⊃ (G v ~A) 2. (G... (answered by math_tutor2020)