document.write( "Question 996120: Solve the following using replacement rules: \r
\n" ); document.write( "\n" ); document.write( "昤 → O, O → S ∴ S \n" ); document.write( "

Algebra.Com's Answer #614678 by jim_thompson5910(35256) $\"\"$ $\"About$

You can put this solution on YOUR website!
\n" ); document.write( "\n" ); document.write( "

Number	Statement	Lines Used	Reason
1	~S --> O
2	O --> S
:.	S
3	~S --> S	1,2	HS
4	~~S v S	3	MI
5	S v S	4	DN
6	S	5	Taut

\r
\n" ); document.write( "\n" ); document.write( "Abbreviations/Acronyms Used:\r
\n" ); document.write( "\n" ); document.write( "DN = Double Negation
\n" ); document.write( "HS = Hypothetical Syllogism
\n" ); document.write( "MI = Material Implication
\n" ); document.write( "Taut = Tautology
\n" ); document.write( " \n" ); document.write( "

\n" );