SOLUTION: <pre> 1. (AvB) &#8835; C 2. (CvD) &#8835; (EvF) 3. A&#9679;~E / F </pre>

Algebra.Com
Question 1025707: 
1. (AvB) ⊃ C 
2. (CvD) ⊃ (EvF) 
3. A●~E             / F

Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!
1. (AvB) ⊃ C 
2. (CvD) ⊃ (EvF) 
3. A●~E             / F

4.  A           3, Simplification
5.  AvB         4, Addition
6.  C           1,5 Modus ponens
7.  CvD         6, Addition
8.  EvF         2,7 Modus Ponens
9.  ~E●A        3, Commutation
10. ~E          9, Simplification   
11. F           8,11, Disjunctive Syllogism 

Edwin
RELATED QUESTIONS

I need help deriving the conclusion (using CONDITIONAL proof). You can use all 18 rules. (answered by jim_thompson5910)
Please help me solve this proof! Premises: 1. (A⊃B)&(C⊃D) 2.... (answered by Edwin McCravy)
Could you please help me? Im sick with a bug and cant think straight :/ A) 1. A ⊃ (answered by solver91311)
Looking for a logical proof help using rules of implication! Thank you! 

1. (S  (answered by solver91311)


Give reasons for the steps, given premises 1, 2 and 3:

1.  X ⊃ (Y ⊃  (answered by Edwin McCravy)

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

Premises: 
1.  A ⊃ X                                      
2. X ⊃  (B... (answered by math_helper)

Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)

1. ~(H ⊃ ~E) ⊃ K
2. M v (O ⊃ H)
3. A ⊃ [~A v (~M ⊃ ~K)]... (answered by Apples_21)