SOLUTION: 1. N ⊃ (F • A) 2. B ⊃ (R • F) / (N ∨ B) ⊃ (A ∨ R)

Algebra.Com
Question 1104540: 1. N ⊃ (F • A)
2. B ⊃ (R • F) / (N ∨ B) ⊃ (A ∨ R)
Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!
1.	N ⊃ (F • A)	
2.	B ⊃ (R • F)	/ (N ∨ B) ⊃ (A ∨ R)

                  | 3.  N ∨ B                      ACP
                  | 4.  (F • A) ∨ (R • F)   1,2,3, constructive dilemma CD
                  | 5.  (F • A) ∨ (F • R)       4, commutation
                  | 6.  F • (A ∨ R)             5, distribution
                  | 7.  (A ∨ R) • F             6, commutation
                  | 8.  A ∨ R                   7, simplification
9.    (N ∨ B) ⊃ (A ∨ R)                    3-8    CP      

Edwin
RELATED QUESTIONS

Could you please help me? Im sick with a bug and cant think straight :/ A) 1. A ⊃ (answered by solver91311)
Hello I stuck on this question can you please help? INSTRUCTIONS: Use natural deduction... (answered by Edwin McCravy)
1. (E ⊃ A) • (F ⊃ A) 2. E ∨ G 3. F ∨ ∼G / A (answered by Edwin McCravy)
Give reasons for the steps, given premises 1, 2 and 3:

1.  X ⊃ (Y ⊃  (answered by Edwin McCravy)

∼A∙~B
~D⊃A
M⊃[(NvO)⊃P]
Q⊃(SvT)... (answered by jim_thompson5910)

Create a proof for the following argument

1. M ⊃ H
2.(K ∨ F) ⊃ M... (answered by Edwin McCravy)

INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems.

 (answered by AnlytcPhil)

INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems.

 (answered by jim_thompson5910)

Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)