SOLUTION: Construct proofs using the Rules of Inference and the Rules of Replacement. The conclusion appears after the slash. 1. ~E 2. F → (D v E) 3. ~D / ~F

Algebra ->  Proofs -> SOLUTION: Construct proofs using the Rules of Inference and the Rules of Replacement. The conclusion appears after the slash. 1. ~E 2. F → (D v E) 3. ~D / ~F       Log On


   

Question 193059: Construct proofs using the Rules of Inference and the Rules of Replacement. The conclusion appears after the slash.
1. ~E
2. F → (D v E)
3. ~D / ~F
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1. ~E
2. F → (D v E)
3. ~D / ~F
----------------
4. ~D & ~E          3,1   Conjunction
5. ~(D v E)           4   DeMorgan's Law
6. ~F               2,5   Modus Tollens