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)

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) (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

RELATED QUESTIONS
Note that �->� is used for conditionals, �~� is used for negations, �v� is used for... (answered by robertb)

Prove the following argument to be valid using the method of Natural Deduction. (Do... (answered by Edwin McCravy)

Proof by Natural Deduction � Propositional Logic. Use a direct proof to show that the... (answered by robertb)

Prove that the following two arguments are valid using the method of Natural Deduction.... (answered by robertb)

Prove that the argument is valid using the method of natural deduction. 1. tilde(S dot... (answered by textot)

A. Use the first thirteen rules of inference to derive the conclusions of the following... (answered by CPhill)

prove the argument is valid using the method of natural deduction: 1. (~N wedge R)... (answered by math_tutor2020)

Complete the following proofs using the Conditional Proof method. 1) 1. ~(P ∙... (answered by solver91311)