SOLUTION: Use an ordinary proof (not conditional or indirect) to solve the following arguments. 1.I v (N • F) 2.I ⊃ F/F

Question 1179970: Use an ordinary proof (not conditional or indirect) to solve the following arguments.
1.I v (N • F)
2.I ⊃ F/F
Answer by RBryant(14) (Show Source): You can put this solution on YOUR website!

1.I v (N • F)
2.I ⊃ F        /  F
-------------------------------------------------------
Derivation	      Line(s) Used	Rule Used / Justification
3.( I v N) • (I v F)	1	        Dist
4. (I v F) • ( I v N)	3	        Comm
5.(I v F)	        4               Simp
6.~I ⊃F          	5	        Impl
7.~F ⊃ ~~I      	6	        Trans
8.~F ⊃ I	        7	        D.N.
9.~F ⊃F	                2,8	        H.S.
10.~~F v F	        9 	        Impl
11.F v F         	10	        D.N.
12 F	                11	        Taut

[Just want to note that line 9 may confuse some readers because I listed the 2 before the 8 and the form does not match the rule as written.  In that case all one needs to do is use line 8 before line 2 for the form to be correct].

RELATED QUESTIONS
I. Use an ordinary proof (not conditional or indirect) to solve the following arguments. (answered by CPhill)

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) to solve the following arguments... (answered by RBryant,Edwin McCravy,math_tutor2020)

Use an ordinary proof (not conditional or indirect) to solve the following arguments. (answered by Edwin McCravy)

Use an ordinary proof (not conditional or indirect) to solve the following arguments... (answered by Edwin McCravy)

I.Use an ordinary proof (not conditional or indirect) to solve the following arguments.... (answered by Edwin McCravy)

Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)

Using an ordinary proof (not a conditional or indirect proof) 1. S ⊃ (K ⋅... (answered by richwmiller)

Use natural deduction to derive the conclusion in each problem. Use an ordinary... (answered by Edwin McCravy)