SOLUTION: Please help me to derive the conclusion of the following using natural deduction. I'm not really sure what I'm doing on this one as far as double addition, etc. 1. (S > Q) &#87

Algebra.Com
Question 332293: Please help me to derive the conclusion of the following using natural deduction. I'm not really sure what I'm doing on this one as far as double addition, etc.
1. (S > Q) ∙ (Q > ~S)
2. S v Q
3. ~Q /P ∙ R (hint: proof requires use of addition)

Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!
1.    (S -> Q) * (Q -> ~S)
2.    S v Q
3.    ~Q                    /P * R
-----------------------------------
4.    S                     2, 3   DS
5.    S -> Q                1      Simp.
6.    Q                     5, 4   MP
7.    Q * ~Q                6, 3   Conj.
8.    F                     7      Contradiction
9.    F v P                 8      Add.
10.   P                     10     See note below
11.   F v R                 8      Add.
12.   R                     11     See note below
13.   P * R                 10,12  Conj.


Note: p v q is true when either p or q is true. Put another way, p v q is only false when both are false. So for something like F v p (where F stands for false), the truth value of F v p depends entirely on p. So this means that F v p is logically equivalent to p (ie they have the same truth values). Therefore, F v P is equivalent to P, and F v R is equivalent to R.

RELATED QUESTIONS

PLease use all 18 rules of natural deduction to derive the conclusion (/), thanks. 1.... (answered by mccravyedwin,math_tutor2020)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by solver91311)
I could really use some help. Thank You INSTRUCTIONS: Use natural deduction to derive... (answered by CPhill)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by jim_thompson5910)
please use all 18 rules of natural deduction to derive the conclusion (/), thanks. 1.... (answered by math_tutor2020)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)
INSTRUCTIONS: Use natural deduction to derive the conclusion in each problem. Prove... (answered by RBryant)
Hello I stuck on this question can you please help? INSTRUCTIONS: Use natural deduction... (answered by Edwin McCravy)
1. Verify the identity. sin(9𝑥)+sin(3𝑥)/cos(9𝑥)+cos(3𝑥)=tan(6𝑥) 2. (answered by Alan3354)