document.write( "Question 1171859: 1. F ⊃ ~U
\n" ); document.write( "2. ~F ⊃ P
\n" ); document.write( "3. F v ~F/~U v P\r
\n" ); document.write( "\n" ); document.write( "I think what is throwing me off with this equation is the use of the two F's in line 3.
\n" ); document.write( " \n" ); document.write( "

Algebra.Com's Answer #796771 by math_tutor2020(3817) $\"\"$ $\"About$

You can put this solution on YOUR website!

\n" ); document.write( "I'm going to use an arrow instead of a horsehoe symbol.
\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

Number	Statement	Lines Used	Reason
1	F -> ~U
2	~F -> P
3	F v ~F
:.	~U v P
4	U -> ~F	1	Transposition
5	U -> P	4,2	Hypothetical Syllogism
6	~U v P	5	Material Implication

\n" ); document.write( "It appears line 3 is not used at all (though it may be possible you use it if you follow another route)
\n" ); document.write( " \n" ); document.write( "

\n" );