document.write( "Question 1205072: Use all 18 rules\r
\n" ); document.write( "\n" ); document.write( "1. ∼(U ● W ) ⊃ X
\n" ); document.write( "2. U ⊃ ∼U / ∼(U v ∼X )
\n" ); document.write( " \n" ); document.write( "

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

You can put this solution on YOUR website!

\n" ); document.write( "I'll use the ampersand symbol & in place of the dot.
\n" ); document.write( "I'll use the arrow --> in place of the horseshoe.
\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

Number	Statement	Line(s) Used	Reason
1	~(U & W) --> X
2	U --> ~U
:.	~(U v ~X)
3	~U v ~U	2	Material Implication
4	~U	3	Tautology
5	~U v ~W	4	Addition
6	~(U & W)	5	De Morgan’s Law
7	X	1, 6	Modus Ponens
8	~U & X	4, 7	Conjunction
9	~(U v ~X)	8	De Morgan’s Law

\n" ); document.write( "Here is the list of the rules of inference and rules of replacement
\n" ); document.write( "https://www.algebra.com/algebra/homework/Conjunction/logic-rules-of-inference-and-replacement.lesson
\n" ); document.write( " \n" ); document.write( "

\n" );