SOLUTION: Are there any mistakes made in solving the following problem? If so, provide the correct answer. 1. W ⊃ Z 2. Z ⊃ (X ∨ Y) 3. Y • W 4. X ⊃ U 5. Y ⊃ V

Question 1202690: Are there any mistakes made in solving the following problem? If so, provide the correct answer.
1. W ⊃ Z
2. Z ⊃ (X ∨ Y)
3. Y • W
4. X ⊃ U
5. Y ⊃ V / U ∨ V
6. W 3, Simp
7. W ⊃ (X ∨ Y) 1, 2, HS
8. X ∨ Y 7, 6, MT
9. U ∨ V 4, 5, CD

Answer by RBryant(14) (Show Source): You can put this solution on YOUR website!
Your answer has problems. You were on the right track at first but then you left out needed details. My derivations will be below the dotted line.
The original question is the following:
1. W ⊃ Z
2. Z ⊃ (X ∨ Y)
3. Y • W
4. X ⊃ U
5. Y ⊃ V / U ∨ V.
--------------------------------------------------
DERIVATION ------------------LINE(S) ------ RULE USED
6. W ------------------------------3 ---------------Simp.(this rule is skipping a step)**
7. W ⊃ (X ∨ Y)-------------------1,2 ---------------H.S.
8. X ∨ Y --------------------------6,7 --------------M.P.(you wrote MT which is wrong.)
9. (X ⊃ U) • (Y ⊃ V)--------------4,5 --------------Conj.
10. U ∨ V -------------------------8,9 --------------C.D.

** The rule of Simplification is sometimes used only on the left side (at least in some logic circles). In other words, we would need to use the commutation rule FIRST and then use Simplification. I used what you wrote down to save time BUT the truth is we would get the same result and not have to write down the extra line in the proof. Just note, in some case we would have to strictly follow every rule and not skip steps at all. [Yes, that means even if we know the result is the same and seems like we are
writing down more than we think we should].

RELATED QUESTIONS
Kindly help me solving it i tried my best but I couldn't If... (answered by robertb)

A student was asked to solve the following problem: {{{ x- sqrt( 17-4x ) =3 }}} and... (answered by josgarithmetic)

Does there exist any example for the following semigroup? * x y z x z x (answered by ikleyn)

If w, x, y, and z are four nonzero numbers, then all of the following proportions are... (answered by AnlytcPhil)

Hello, I am having difficulty solving the problem below: 5^3(w) + 5^2(x) + 5y + z... (answered by Alan3354)

If w + x = 5(y + z), which of the following is the average (arithmetic mean_ of w, x, y,... (answered by robertb)

if w,x,y,and z are consecutive integers and if w>x>y>z, then (w-z)(y-8)+x-z=? I keep... (answered by KMST)

A four-digit integer WXYZ, in which W, X, Y, and Z each represent a different digit, is... (answered by josgarithmetic)

The following equations have infinitely many solutions x + 3y =3... (answered by Edwin McCravy)