SOLUTION: Solve please. 1. ~S->(~Gv~F) 2. (~F->~W).W :. Sv~G

Question 249373: Solve please.
1. ~S->(~Gv~F)
2. (~F->~W).W
:. Sv~G
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
Note: I'm going to use '&' instead of '.'

1.  ~S -> (~G v ~F)
2.  (~F -> ~W) & W          / :. S v ~G
----------------------------
3.  ~~S v (~G v ~F)             1       Material Implication
4.  S v (~G v ~F)               3       Double Negation
5.  (S v ~G) v ~F               4       Association
6.  ~F v (S v ~G)               5       Commutation
7.  F -> (S v ~G)               6       Material Implication
8.  W & (~F -> ~W)              2       Commutation
9.  W                           8       Simplification
10. ~~W                         9       Double Negation
11. ~F -> ~W                    2       Simplification
12. ~~F                         11,10   Modus Tollens
13. F                           12      Double Negation
14. S v ~G                      7,13    Modus Ponens

RELATED QUESTIONS
1. (F v G) ⊃ ~A 2. A v W 3. F • T /∴ W (answered by RBryant)

I can't seem to get to solve this proof. 1. W->S 2. U->F 3. (S and F) -> O 4. ~O... (answered by jim_thompson5910)

I am working on proofs for my logic homework. Here are the premises: 1. ~S -> (~G v (answered by jim_thompson5910)

f/f+w=k/g solve for "f" I am not sure how to solve for "f" when there are two "fs."... (answered by solver91311)

If f(x)= 1/x, find f(x+h)-f(x) Please solve w/ complete answer and steps... (answered by josgarithmetic)

Multiply. (w+f)(w^2-wf+f^2)= Thank... (answered by checkley77,Alan3354)

(w+g)(w^2-wg+g^2) Please... (answered by ewatrrr)

Add the missing rule citations for these proofs: 1.(F → (G → ¬H))PR 2.((F ∧... (answered by ikleyn)

2[5(w+3)-(w+1)]=3(1+w) please help me solve. Thanks,... (answered by checkley75)