SOLUTION: 1. F ⊃ ~U 2. ~F ⊃ P 3. F v ~F/~U v P I think what is throwing me off with this equation is the use of the two F's in line 3.

Algebra ->  Proofs -> SOLUTION: 1. F ⊃ ~U 2. ~F ⊃ P 3. F v ~F/~U v P I think what is throwing me off with this equation is the use of the two F's in line 3.       Log On


   

Question 1171859: 1. F ⊃ ~U
2. ~F ⊃ P
3. F v ~F/~U v P
I think what is throwing me off with this equation is the use of the two F's in line 3.

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

I'm going to use an arrow instead of a horsehoe symbol.
NumberStatementLines UsedReason
1F -> ~U
2~F -> P
3F v ~F
:.~U v P
4U -> ~F1Transposition
5U -> P4,2Hypothetical Syllogism
6~U v P5Material Implication

It appears line 3 is not used at all (though it may be possible you use it if you follow another route)