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

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) (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

RELATED QUESTIONS
Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)

Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)

complete the following proofs using only the Rules of Inference,The conclusion appears... (answered by richwmiller)

Solve the problem using rules of inference and replacement: Premise 1) Q v (R . S)... (answered by solver91311)

I need help deriving the conclusion using the 18 rules of inference. 1. C>(Dv~E) 2.... (answered by jim_thompson5910)

use the inference rules, replacement rules, indirect proof and/or conditional proof to... (answered by mccravyedwin,Edwin McCravy)

1. ~(~E.~N)>T 2. G>(N+E) /G>T Use the eighteen inference rules to construct proofs... (answered by Edwin McCravy)

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

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