SOLUTION: Using Conditional Proof I need help i'm very lost N>(F&A) B>(R&F) /(NvB)>(A&R) Please and thank you

Question 982023: Using Conditional Proof I need help i'm very lost
N>(F&A)
B>(R&F)
/(NvB)>(A&R)
Please and thank you
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!

 1.  N>(F&A)
 2.  B>(R&F)
           /(NvB)>(A&R) 

 3. (NvB)>(F&A)            1, addition
 4. (BvN)>(R&F)            2, addition
 5. (NvB)>(R&F)            4, commutation
 6. (NvB)>[(F&A)&(R&F)]  3,5, composition  
 7. (NvB)>[(A&F)&(R&F)]    6, commutation
 8. (NvB)>(A&F)            7, simplification
 9. (NvB)>[(R&F)&(A&F)]    7, commutation
10. (NvB)>(R&F)            9, simplification
11. (NvB)>A                8, simplification
12. (NvB)>R               10, simplification
13. (NvB)>(A&R)        11,12, composition     

[Your teacher may allow you to skip some of those commutation steps.]

Edwin

RELATED QUESTIONS
i need help solving this indirect proof 1. (R v S) > (H & ~G) 2. (K v R) > (G v ~H) (answered by Edwin McCravy)

Hello I stuck on this question can you please help? INSTRUCTIONS: Use natural deduction... (answered by Edwin McCravy)

Use conditional proof: 1. N ⊃ (F • A) 2. B ⊃ (R • F) / (N ∨ B) ⊃ (A... (answered by Edwin McCravy,jim_thompson5910)

I am so lost. need help please and thank you... (answered by stanbon)

Can anybody finish this proof for me? 1. (V v ~R) > C 2. (~C & M) v (F & ~C) / (answered by jim_thompson5910)

Using a conditional proof: 1. (D v E) ⊃ (F � G) 2.( A v B) ⊃ (D � C) (answered by jim_thompson5910)

Given U = {l, m, n, o, p, q, r, s, t, u, v, w}, A = {l, o, p, q, s, t}, B = {n, o, r, s, (answered by jim_thompson5910)

Can i please have help solving these proofs? Use an ordinary proof (not conditional or... (answered by jim_thompson5910)

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