SOLUTION: Can you tell me the completed formal proof? 1. (C v D)

SOLUTION: Can you tell me the completed formal proof? 1. (C v D) > (E * F) 2. D v C :. E 3. 4.

Question 1058600: Can you tell me the completed formal proof?
1. (C v D) > (E * F)
2. D v C :. E
3.
4.
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!
Can you tell me the completed formal proof?


1. (C v D) > (E * F)
2. D v C               :. E
3. C v D            2, Commutation
4. E * F            1,3, Modus Ponens
5. E                4, Simplification 

Edwin

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

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

I need help finishing this proof. A v (~B v ~C), A -> (D -> E), ~(~B v ~D) :. C -> (D -> (answered by jim_thompson5910)

1. A -> ~(B v C) 2. ~D -> (~A -> ~E) 3. ~(~E v F) 4. ~F -> (A -> B) /D I don't... (answered by Edwin McCravy)

Solve the following proof: 1. A -> B 2. B -> ~A 3. (A v D) v E 4. (D v E) -> F (answered by math_helper)

Can you help me solve this formal proof? 1. (C * K) v (L * T) 2. ~C v ~K :. L * T 3.... (answered by Edwin McCravy)

can i have help solving this proof please? Construct a regular proof to derive the... (answered by jim_thompson5910)

Using a conditional proof: 1. (D v E) ⊃ (F � G) 2.( A v B) ⊃ (D � C) (answered by jim_thompson5910)

Construct a formal proof of validity for the following argument ~B v [(C⊃D) ·... (answered by math_helper)