SOLUTION: 1. (F v S) > (V * G) 2. F * (C = D) / F * V

Question 690044: 1. (F v S) > (V * G)
2. F * (C = D) / F * V
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!

1. (F v S) > (V * G)
2.  F * (C = D)          / F * V
-------------------------------------
3.  F                      2       Simplification
4.  F v S                  3       Addition
5.  V * G                  1,4     Modus Ponens
6.  V                      5       Simplification
7.  F * V                  3,6     Conjunction

RELATED QUESTIONS
1. F v (G & S) 2. ~ (I v S) // F &... (answered by Edwin McCravy)

1. ~(K v F) 2. ~F ⊃ (K v C) 3. (G v C) ⊃ ~H / ~(K v... (answered by Edwin McCravy)

1. ~(K v F) 2. ~F ⊃ (K v C) 3. (G v C) ⊃ ~H /~(K v H) (answered by CPhill)

Two step proof: 1. D > E 2. F > G 3. D v F / E v G (answered by Edwin McCravy)

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

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

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

1. (P v F) -> (A v D) 2. A -> (M ^ ~P) 3. D -> (C ^ ~P) /... (answered by Edwin McCravy)

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)