SOLUTION: 1. ~(H ⊃ ~E) ⊃ K 2. M v (O ⊃ H) 3. A ⊃ [~A v (~M ⊃ ~K)] 4. A 5. A ⊃ ~M / O ⊃ ~E

SOLUTION: 1. ~(H ⊃ ~E) ⊃ K 2. M v (O ⊃ H) 3. A ⊃ [~A v (~M ⊃ ~K)] 4. A 5. A ⊃ ~M / O ⊃ ~E

Algebra.Com

Question 1068517: 1. ~(H ⊃ ~E) ⊃ K
2. M v (O ⊃ H)
3. A ⊃ [~A v (~M ⊃ ~K)]
4. A
5. A ⊃ ~M / O ⊃ ~E
Answer by Apples_21(13) (Show Source): You can put this solution on YOUR website!
holy moly whack a moley N/A!
RELATED QUESTIONS
Could you please help me? Im sick with a bug and cant think straight :/ A) 1. A ⊃ (answered by solver91311)

How do I complete the following proofs? Premises: 1. L ⊃ M 2. L 3. K v Q... (answered by Edwin McCravy)

Create a proof for the following argument 1. M ⊃ H 2.(K ∨ F) ⊃ M... (answered by Edwin McCravy)

construct a formal proof of validity for the following argument. 1. (M ⊃ N)... (answered by Edwin McCravy)

Please help me solve this proof! Premises: 1. (A⊃B)&(C⊃D) 2.... (answered by Edwin McCravy)

Use an ordinary proof to solve 1) 1.E ⊃ (S ⊃ T) 2.(~L ⋅... (answered by richwmiller,jim_thompson5910)

Use an ordinary proof to solve 1) 1.E ⊃ (S ⊃ T) 2.(~L ⋅... (answered by richwmiller,jim_thompson5910)

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

Indirect proof 9. 1) R 2) (~ C v ~ D) v S 3) ~ (C ⋅ D) ⊃ ~R / ∴ S (answered by solver91311)