SOLUTION: 1. (F v G) ⊃ ~A 2. A v W 3. F • T /∴ W

Question 1156253: 1. (F v G) ⊃ ~A
2. A v W
3. F • T /∴ W

Answer by RBryant(14) (Show Source): You can put this solution on YOUR website!

1. (F v G) ⊃ ~A		
2. A v W			
3. F • T			/∴ W
----------------------------------------------------
4. F                   3      Simplification
5. F v G               4      Addition
6. ~A                  1,5    Modus Ponens
7. W                   2,6    Disjunction Syllogism
                                                      QED

RELATED QUESTIONS
1. (F . M) > (S v T) 2. (~S v A) > F 3. (~S v B) > M 4. ~S . G / T (answered by jim_thompson5910)

please solve: 1. (K v S) v (T v W) 2. ~S + [T v ~(O v Z)] 3. K > ~(T v ~Z) /∴ T... (answered by Edwin McCravy)

Derive: A v ~B 1.(F v G) v (A v ~B) 2. F>A 3.... (answered by jim_thompson5910)

1. (A v B) ⊃ T 2. Z ⊃ (A v B) 3. T ⊃ W 4. ~ W /∴~Z (answered by Edwin McCravy)

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

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)

1. (W . (R v T ) ) > P 2. ( P v L ) > ~ H 3. W 4. R :. ~... (answered by jim_thompson5910)

1. ~~G 2. (P�Y)v(X->~W) 3. (P�Y)->~G 4. ~W->~G... (answered by jim_thompson5910)

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)