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

Algebra ->  Proofs -> SOLUTION: Use all 18 rules 1. ∼(U ● W ) ⊃ X 2. U ⊃ ∼U / ∼(U v ∼X )       Log On


   

Question 1205072: Use all 18 rules
1. ∼(U ● W ) ⊃ X
2. U ⊃ ∼U / ∼(U v ∼X )
Answer by math_tutor2020(3816) About Me  (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