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

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


   

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

Answer by Edwin McCravy(20054) About Me  (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