SOLUTION: Premises: 1. X ⊃ ~W 2. ~V ⊃ W Prove: X ⊃ V

Algebra.Com
Question 1119897: Premises:
1. X ⊃ ~W
2. ~V ⊃ W
Prove: X ⊃ V
Answer by math_helper(2461)   (Show Source): You can put this solution on YOUR website!
1.  X —> ~W          Premise
2.  ~V —> W          Premise
3.:: X               Conditional Proof (CP), assumption #1
4.:: ~W              3,1 Modus Ponens (MP)
5.:: ~~V             4,2 Modus Tollens (MT)
6.:: V               5,  Double Negation Elimination (DNE)
7. X —> V            3-6, CP

RELATED QUESTIONS

Premises: 1. A ⊃ X 2. X ⊃ (B... (answered by math_helper)
How do I complete the following proofs? Premises: 1. L ⊃ M 2. L 3. K v Q... (answered by Edwin McCravy)
Could you please help me? Im sick with a bug and cant think straight :/ A) 1. A ⊃ (answered by solver91311)
1. ~(H ⊃ ~E) ⊃ K 2. M v (O ⊃ H) 3. A ⊃ [~A v (~M ⊃ ~K)]... (answered by Apples_21)
COMPLETE THE FOLLOWING PROOFS USING CONDITIONAL PROOF Premises: 1. G ⊃ (E... (answered by robertb)
Give reasons for the steps, given premises 1, 2 and 3:

1.  X ⊃ (Y ⊃  (answered by Edwin McCravy)

I need help solving this proof, please help!
Premises:
1. A ⊃ (B⊃C)
2. A &  (answered by Edwin McCravy)

COMPLETE THE FOLLOWING PROOFS WITHOUT USING CONDITIONAL PROOF OR
INDIRECT PROOF... (answered by robertb)

Use an ordinary proof to show the conclusion can be derived from the premises.
1. G... (answered by Edwin McCravy)