SOLUTION: 1. I v (N&F) 2. I > F /F using rules of inference & replacement

Algebra ->  Proofs -> SOLUTION: 1. I v (N&F) 2. I > F /F using rules of inference & replacement       Log On


   

Question 1188710: 1. I v (N&F)
2. I > F /F


using rules of inference & replacement
Answer by Solver92311(821) About Me  (Show Source):
You can put this solution on YOUR website!

1. I V (N & F)
2. I → F         |    F

3. Assume I.  
   4. F          2,   Modus Ponens

5. Assume ~I.
   6. N & F      1,   Disjunctive Syllogism
   7. F          6,   Conjunction Elimination

8. ⸫ F           3, 5 Excluded Middle

John

My calculator said it, I believe it, that settles it

From
I > Ø