SOLUTION: 1. F v (G & S) 2. ~ (I v S) // F & F

Question 1022576: 1. F v (G & S)
2. ~ (I v S) // F & F
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!

 1. F v (G & S)
 2. ~ (I v S)      // F & F

 3. (F v G) & (F v S)        1, Distribution
 4. (F v S) & (F v G)        3, Commutation
 5. F v S                    4, Simplification
 6. ~I & ~S                  2, DeMorgan's law
 7. ~S & ~I                  6, Commutation
 8. ~S                       7, Simplification
 9. S v F                    5, Commutation
10. F                        8, Disjunctive Syllogism
11. F & F                    10,10, Conjunction

Edwin

RELATED QUESTIONS
1. (F v S) > (V * G) 2. F * (C = D) / F *... (answered by jim_thompson5910)

1. (F . M) > (S v T) 2. (~S v A) > F 3. (~S v B) > M 4. ~S . G / T (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)

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)

~F → G I - F v G (answered by CPhill)

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

(1). (I&E) > ~ F (2). F v (G&H) (3). I = E / (conclusion) I > G (answered by Edwin McCravy)

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

i need help solving this indirect proof 1. (R v S) > (H & ~G) 2. (K v R) > (G v ~H) (answered by Edwin McCravy)