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

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

using rules of inference & replacement

Answer by Solver92311(821) (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 > Ø

RELATED QUESTIONS
Can you please assist me with these problems? We are using the Rules of Inference and the (answered by jim_thompson5910)

1. T ⊃ (Q & F) 2. T & C/Q v O I am trying to solve this equation using the... (answered by math_tutor2020)

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

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 Edwin McCravy)

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

1. (J v F) v M 2. (J v M) ⊃ ~P 3. ~F/~(F v P) I need help tryin to figure out... (answered by Solver92311)

I can only use the rules of inference/replacement 1) R v ~T 2) ~T -> O 3) ~O... (answered by jim_thompson5910)

1. I v (N&F) 2. I > F 3.... (answered by solver91311)