SOLUTION: Prove the following three arguments to be valid using the method of Natural Deduction A. 1. ~(S v E) 2. [(O v M) -> S] / ~M B. 1. [Q v (K v R)

Algebra ->  Proofs -> SOLUTION: Prove the following three arguments to be valid using the method of Natural Deduction A. 1. ~(S v E) 2. [(O v M) -> S] / ~M B. 1. [Q v (K v R)      Log On


   

Question 1024363: Prove the following three arguments to be valid using the method of Natural Deduction
A. 1. ~(S v E)
2. [(O v M) -> S] / ~M
B. 1. [Q v (K v R)]
2. (~W & ~R) / (K v Q)

C. 1. [(L v P) -> U]
2. [(M -> U) -> I
3. ~(P -> B) / I
Answer by solver91311(24713) About Me  (Show Source):
You can put this solution on YOUR website!


A.
1.  ~(S v E)               Given
2.  (O v M) -> S           Given
3.  ~S & ~E                1, DeMorgan
4.  ~S                     3, Conjunction Elimination
5.  ~(O v M)               4, 2, Modus Tollens
6.  ~O & ~M                5, DeMorgan
7.  Therefore ~M           6, Conjunction Elimination

=====================================================

Let A = "A student asks one question"
Let B = "A student asks more than one question"
Let C = "A student receives at most one answer"

(A v B) -> C

Get it?


John

My calculator said it, I believe it, that settles it