SOLUTION: 1. ~(~E.~N)>T 2. G>(N+E) /G>T Use the eighteen inference rules to construct proofs for the following valid argument

Algebra ->  Proofs -> SOLUTION: 1. ~(~E.~N)>T 2. G>(N+E) /G>T Use the eighteen inference rules to construct proofs for the following valid argument      Log On


   

Question 973430: 1. ~(~E.~N)>T
2. G>(N+E) /G>T
Use the eighteen inference rules to construct proofs for the following valid argument
Answer by Edwin McCravy(20060) About Me  (Show Source):
You can put this solution on YOUR website!
1. ~(~E•~N)>T
2. G>(N+E)    /G>T

3. ~~E+~~N>T      1, DeMorgan's law
4. E+N>T          3, Double Negation
5. N+E>T          4, Commutation
6. G>T          2,5, Hypothetical Syllogism

Edwin