SOLUTION: 1. (O ⊃ C ) ● (∼S ⊃ ∼D) 2. (E ⊃ D) ● (∼E ⊃ ∼C ) / O ⊃ S

Question 1187346: 1. (O ⊃ C ) ● (∼S ⊃ ∼D)
2. (E ⊃ D) ● (∼E ⊃ ∼C ) / O ⊃ S

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


 1. (O ⊃ C ) ● (∼S ⊃ ∼D)
 2. (E ⊃ D) ● (∼E ⊃ ∼C )      / O ⊃ S

 3. O ⊃ C                  1, Simplification
 4. (∼S ⊃ ∼D) ● (O ⊃ C )  1, Commutation
 5. ∼S ⊃ ∼D               4, Simplification
 6. ~~D ⊃ ~~S              5, Transposition
 7. D ⊃ S                  6, Double negation
 8. E ⊃ D                  2, Simplification
 9. (∼E ⊃ ∼C) ● (E ⊃ D )  2, Commutation
10. ∼E ⊃ ∼C               9, Simplification
11. ~~C ⊃ ~~E             10, Transposition
13. C ⊃ E                 11, Double negation
14. O ⊃ E                 3,13, Hypothetical syllogism
15. O ⊃ D                 14,8, Hypothetical syllogism
16. O ⊃ S                 16,7, Hypothetical syllogism

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)

find the following: (each number from #s. 1 to 5) a. f(1.5) b. f(-1) c. f(o) d. f... (answered by ikleyn)

Use natural deduction to derive the conclusion in each problem. Use an ordinary... (answered by Edwin McCravy)

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

1. O ⊃ (Q • N) 2. (N ∨ E)⊃ S / O ⊃ S (answered by Edwin McCravy)

55. 1. (L ≡ N) ⊃ C 2. (L ≡ N) v (P ⊃ ~E) 3. ~E ⊃ C 4. ~C /~P 56. (answered by math_tutor2020)

e^ln(3) = s. 1 b. 2 c. 0 d. e (answered by Alan3354)

E, M, O, and R represent 4 different digits. What is the value of R? E (answered by Edwin McCravy)

By how much does r - s exceed s - r ? a (r-s)/(s-r) b 2(r-s) c -2 d 2(s-r) (answered by stanbon)