SOLUTION: 1. H ⊃ (B ⊃ ∼M) 2. T ⊃ (H • M) / T ⊃ ∼B

Question 1141036: 1. H ⊃ (B ⊃ ∼M)
2. T ⊃ (H • M) / T ⊃ ∼B
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!

1. H ⊃ (B ⊃ ∼M)
2. T ⊃ (H • M)            / T ⊃ ∼B

3. T ⊃ H                   2, simplification
4. T ⊃ (M • H)             2, commutation
5. T ⊃ M                   4, simplification 
6. T ⊃ (B ⊃ ∼M)           3,1, hypothetical syllogism 
7. T ⊃ [(B ⊃ ∼M) • M]     6,5, composition
8. T ⊃ [(B ⊃ ∼M) • ∼∼M]  7, double negation
9. T ⊃ ∼B                 8, modus tollens 

Edwin

RELATED QUESTIONS
P l e a s e h e l p m e s o l v e t h i s f i n d t h e c a p a c i t y i n l i... (answered by rothauserc)

A coin is tossed. If a head appears, a spinner that can land on any of the numbers from (answered by ikleyn)

A. {{{(3cd^2)^2(-2c^3d)^3}}} B.... (answered by Targetweek)

how do i do b=rt r= 55 m/h t=... (answered by rfer)

A. (3cd^2)^2(-2c^3d)^3 B.... (answered by )

1. (G • H) v (M • G) 2. G ⊃ (T • A) /A (answered by CPhill)

Prove this with steps please 1 [(A v ~B) v T]->(X->M) 2 (A v R)->(Z->O) 3 A&(X v Z) (answered by Edwin McCravy)

Let h(t) = 5t+2 and let k(s) = 4s^2 What is... (answered by josgarithmetic)

How do I solve these proofs? Number one 1.~B v[(C>D)&(E>D)] 2. B&(C v E)... (answered by jim_thompson5910)