SOLUTION: Use all 18 rules 1. ∼(U ● W ) ⊃ X 2. U ⊃ ∼U / ∼(U v ∼X )

Algebra.Com
Question 1205072: Use all 18 rules
1. ∼(U ● W ) ⊃ X
2. U ⊃ ∼U / ∼(U v ∼X )

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

I'll use the ampersand symbol & in place of the dot.
I'll use the arrow --> in place of the horseshoe.
NumberStatementLine(s) UsedReason
1~(U & W) --> X
2U --> ~U
:.~(U v ~X)
3~U v ~U2Material Implication
4~U3Tautology
5~U v ~W4Addition
6~(U & W)5De Morgan’s Law
7X1, 6Modus Ponens
8~U & X4, 7Conjunction
9~(U v ~X)8De Morgan’s Law

Here is the list of the rules of inference and rules of replacement
https://www.algebra.com/algebra/homework/Conjunction/logic-rules-of-inference-and-replacement.lesson

RELATED QUESTIONS

x=2,y=3,z=4,u=-1,v=2/3,w=5 (answered by jim_thompson5910)
{{{ ((U+W)^2 -V^2) / ((V+W)^2-U^2)... (answered by MathLover1)
(u+w)-v(v+w)-u (answered by robertb)
1)uu>=0 and uu=0 if and only if u=0 prove theorem? 2)Show that there are no vectors u... (answered by lynnlo)
Please help me ㅠㅠ help me 1)uu>=0 and uu=0 if and only if u=0 prove... (answered by lynnlo)
1)uu>=0 and uu=0 if and only if u=0 prove theorem? 2)Show that there are no vectors u... (answered by lynnlo)
Suppose that the functions u and w are defined as follows. u(x)=-2x-1 w(x)=2x^2 Find... (answered by Amily_2190)
Solve the system to find (u,v). Hint: x = 1/u and y = 1/v. Use x and y in the... (answered by ewatrrr)
Use the first eight rules of inference to complete the following proof (you may start... (answered by Edwin McCravy)