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        

Algebra ->  Proofs -> 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               Log On


   

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) About Me  (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