SOLUTION: 1. ~(~C • D) 2. ~D ⊃ E 3. C ⊃ ~F //F ⊃ E

Algebra ->  Proofs -> SOLUTION: 1. ~(~C • D) 2. ~D ⊃ E 3. C ⊃ ~F //F ⊃ E       Log On


   

Question 1188619: 1. ~(~C • D)
2. ~D ⊃ E
3. C ⊃ ~F //F ⊃ E

Answer by Edwin McCravy(20055) About Me  (Show Source):
You can put this solution on YOUR website!

1.	~(~C • D)
2.	~D ⊃ E
3.	C ⊃ ~F //F ⊃ E

          |4.  F          assumption for conditional proof
          |5.  ~~F ⊃ ~C   3, transposition
          |6.  F ⊃ ~C     5, double negation
          |7.  ~C         6,4 modus ponens
          |8.  ~~C ∨ ~D   1, DeMorgan's law
          |9.  C ∨ ~D     8, double negation
          |10. ~D         9,7, disjunctive syllogism
          |11. E          10,2
12.    F ⊃ E     lines 4-11    conditional proof 

Edwin