SOLUTION: INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems. Use an ordinary proof (not conditional or indirect proof): 1. A ⊃ (Q ∨ R)

Algebra.Com
Question 1010727: INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems.
Use an ordinary proof (not conditional or indirect proof):
1. A ⊃ (Q ∨ R)
2. (R • Q) ⊃ B
3. A • ∼B
/ R ≡ ∼Q
Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!
NumberStatementLines UsedReason
1A -> (Q v R)
2(R & Q) -> B
3A & ~B
:.R = ~Q
4~B & A3Commutation
5A3Simplification
6~B4Simplification
7Q v R1,5Modus Ponens
8~(R & Q)2,6Modus Tollens
9~R v ~Q8De Morgan's Law
10R -> ~Q9Material Implication
11~~Q v R7Double Negation
12~Q -> R11Material Implication
13(R -> ~Q) & (~Q -> R)10,12Conjunction
14R = ~Q13Material Equivalence
RELATED QUESTIONS

INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems. (answered by AnlytcPhil)
Use natural deduction to derive the conclusion in each problem. Use an ordinary... (answered by Edwin McCravy)
INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems. (answered by jim_thompson5910)
Use natural deduction to derive the conclusion in each problem. Use an ordinary... (answered by Edwin McCravy)
Use natural deduction to derive the conclusion in each problem. Use an ordinary proof... (answered by Edwin McCravy)
Hello I stuck on this question can you please help? INSTRUCTIONS: Use natural deduction... (answered by Edwin McCravy)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by solver91311)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by jim_thompson5910)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)