document.write( "Question 1209090: Premise:
\n" ); document.write( "1.
\n" ); document.write( "~S
\n" ); document.write( "Conclusion:
\n" ); document.write( "~(F • S)
\n" ); document.write( "What is proof, line and rule? \n" ); document.write( "

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

You can put this solution on YOUR website!

\n" ); document.write( "This is one way to do the derivation.
\n" ); document.write( "I'm using an ampersand (&) in place of a dot.
\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

Number	Statement	Line(s) Used	Reason
1	~S
:.	~(F & S)
2	~S v ~F	1	Addition
3	~F v ~S	2	Commutation
4	~(F & S)	3	De Morgan's Law

\n" ); document.write( "Here's a list of rules of inference and replacement
\n" ); document.write( " \n" ); document.write( "

\n" );