SOLUTION: Prove directly, no Conditional Proof or Indirect Proof 1. I ∨ (N • F) 2. I ⊃ F / F

Algebra.Com
Question 1193812: Prove directly, no Conditional Proof or Indirect Proof
1. I ∨ (N • F)
2. I ⊃ F / F

Answer by math_tutor2020(3816)   (Show Source): You can put this solution on YOUR website!

I'll go over the outline of what the derivation would look like.
This will be an informal paragraph format rather than a formal derivation table, which I'll let you do.

The conclusion we want to derive is the statement F
It's an unfortunate choice of symbol because F is often used to mean "False".

We can use the distributive rule for premise 1 to go from
I v (N • F)
to
(I v N) • (I v F)
The first part I v N isn't all that useful
The second part I v F can be picked out using the simplification rule.

Then notice how I v F is the same as ~~I v F and that turns into ~I ⊃ F through the material implication rule.
Flip things around (transposition rule) to get ~F ⊃ ~~I or ~F ⊃ I

We have these statements to focus on
~F ⊃ I (what we just found)
I ⊃ F (premise 2)

The hypothetical syllogism rule then allows us to combine those two conditionals into ~F ⊃ F
This turns into ~~F v F or F v F or simply F
The proof is concluded.

RELATED QUESTIONS

Use an ordinary proof (not conditional or indirect) to solve the following arguments. (answered by RBryant)
Using an ordinary proof (not a conditional or indirect proof) 1. S ⊃ (K ⋅... (answered by richwmiller)
Prove directly - NO Conditional Proof or Indirect Proof. 1. R ⊃ A / R ⊃... (answered by Edwin McCravy,math_tutor2020)
Prove directly, no Conditional Proof or Indirect Proof 1. M ⊃ ~ C 2. ~C ⊃ ~ A (answered by math_tutor2020)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by solver91311)
use an ordinary proof (not conditional or indirect proof) 1. F⊃(J∨∼F) 2.... (answered by math_helper)
use the inference rules, replacement rules, indirect proof and/or conditional proof to... (answered by mccravyedwin,Edwin McCravy)
use the inference rules, replacement rules, indirect proof and/or conditional proof to... (answered by Edwin McCravy)
i need help solving this indirect proof 1. (R v S) > (H & ~G) 2. (K v R) > (G v ~H) (answered by Edwin McCravy)