SOLUTION: 1. W ⊃ Z 2. W v Z / ∴ Z

Algebra.Com
Question 1209011: 1. W ⊃ Z
2. W v Z / ∴ Z
Found 2 solutions by mccravyedwin, math_tutor2020:
Answer by mccravyedwin(407)   (Show Source): You can put this solution on YOUR website!
1. W  ⊃ Z
2. W  v Z  / ∴    Z

                |3.  ~Z      assumption for indirect proof
                |4.  Z v W       2, commutation
                |5.  W         4,3, disjunctive syllogism
                |6.  Z         1,5, modus ponens    
                |7. Z & ~Z     6,3, conjunction 
8. Z      lines 3-7 for indirect proof

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

I'll use an arrow instead of a horseshoe symbol.
NumberStatementLine(s) UsedReason
1W --> Z
2W v Z
:.Z
3Z v W2Commutation
4~(~Z) v W3Double Negation
5~Z --> W4Material Implication
6~Z --> Z5, 1Hypothetical Syllogism
7~(~Z) v Z6Material Implication
8Z v Z7Double Negation
9Z8Tautology

Here's a list of rules of inference and replacement
RELATED QUESTIONS

please solve: 1. (K v S) v (T v W) 2. ~S + [T v ~(O v Z)] 3. K > ~(T v ~Z) /∴ T... (answered by Edwin McCravy)
1. (A v B) ⊃ T 2. Z ⊃ (A v B) 3. T ⊃ W 4. ~ W /∴~Z (answered by Edwin McCravy)
w-z=1 (answered by Alan3354)
1/m + 1/w = 1/z, z =... (answered by stanbon)
1. ~A ⊃ ~B 2. A ⊃ C 3. Z ⊃ W 4. ~C • ~W /∴~B v W (answered by RBryant)
5/9(v)+w=z-w Solve for... (answered by ReadingBoosters)
x=2,y=3,z=4,u=-1,v=2/3,w=5 (answered by jim_thompson5910)
please solve these problems with steps: _______________________ 1. ~(K v A) > (R v W) (answered by Edwin McCravy)
w is proportional to z. If w=-6 when z=2, find w when... (answered by hollytree)