SOLUTION: Hello ! My question would be a philosophy logic Use all of the conditional proof and the Use all of the conditional proof and the rules of inference 1. ~M

Question 1141422: Hello ! My question would be a philosophy logic
Use all of the conditional proof and the
Use all of the conditional proof and the rules of inference

1. ~M / T ⊃ (V · ~M)
2. T ⊃ W
3. W ⊃ V

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

 1. ~M                       / T ⊃ (V • ~M)
 2. T ⊃ W                                 
 3. W ⊃ V

 4. T ⊃ V                     2,3, Hypothetical syllogism 
 5. ~T ∨ V                    4, Material implication
 6. ~M ∨ ~T                   1, Addition
 7. ~T ∨ ~M                   6, Commutation
 8. (~T ∨ V) • (~T ∨ ~M)      5,7, Comjunction
 9. ~T ∨ (V • ~M)             8, Distribution
10. T ⊃ (V • ~M)              10, Material implication

Edwin

RELATED QUESTIONS
Use conditional proof (CP) together with the eight rules of implication and ten rules of... (answered by math_tutor2020)

I need help deriving the conclusion (using CONDITIONAL proof). You can use all 18 rules. (answered by jim_thompson5910)

Very confused with this proof, any help would be appreciated!! Conditional Proof - can... (answered by jim_thompson5910)

Use conditional proof or indirect proof to establish the truth of the following... (answered by math_helper)

Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)

Premise: 1. F Conclusion: (G ⊃ H) ∨ (~G ⊃ J) Use either indirect proof or... (answered by Edwin McCravy,mccravyedwin)

use the inference rules, replacement rules, indirect proof and/or conditional proof to... (answered by mccravyedwin,Edwin McCravy)

Conditional Proof - can use all 18 rules (P -> Q) <-> (P -> (Q v... (answered by jim_thompson5910)

Use the quantifier negation rule together with the eighteen rules of inference to derive... (answered by CPhill)