SOLUTION: Prove the following: 1. O --> (H * M) 2. (O --> G) --> (H --> ~M) 3. ~G --> (~H v ~M) .·. H --> ~M

Question 1171292: Prove the following:
1. O --> (H * M)
2. (O --> G) --> (H --> ~M)
3. ~G --> (~H v ~M) .·. H --> ~M

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

1.  O --> (H * M)
2.  (O --> G) --> (H --> ~M)
3.  ~G --> (~H v ~M)                 .·. H --> ~M

4.  ~(~H v ~M) --> ~~G         3, Transposition
5. (~~H * ~~M) --> ~~G         4, DeMorgan's Law
6. (H * M) --> G               5, Double Negation
7. O --> G                     1,6, Hypothetical Syllogism 
8. H --> ~M                    2,7, Modus Ponens

Edwin

RELATED QUESTIONS
a(g-h)=m (answered by MathLover1)

1. H > (M > E) 2. ~[(M > H) > E] 3. (I + O) > [M + (X = P)] 4. [(K v B) > ~M] > (~I (answered by CPhill)

1. M -> (R ^ E) 2. (E v H) -> G /M ->... (answered by Edwin McCravy)

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)

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

1. ~(H ⊃ ~E) ⊃ K 2. M v (O ⊃ H) 3. A ⊃ [~A v (~M ⊃ ~K)]... (answered by Apples_21)

which of the following is equivalent to h(m+1)? (a) g(m) (b) g(m)+ 1 (c) g(m)-1 (d) (answered by MathLover1)

Logical Proofs (Solve and Show Work) 1. G ⊃ (H ⊃ K) 2. (H v ~M) ⊃ ~K 3. H /... (answered by Edwin McCravy)

1. G ⊃ (H ⊃ K) 2. (H ∨ ∼M) ⊃ ∼K 3. H /... (answered by Edwin McCravy)