SOLUTION: Help! I need this badly. Use rules of inference and replacement. Thaaaanks! P > A X > B /(P v X) > (A v B)

Algebra.Com
Question 1089734: Help! I need this badly. Use rules of inference and replacement. Thaaaanks!
P > A
X > B
/(P v X) > (A v B)
Answer by math_helper(2461)   (Show Source): You can put this solution on YOUR website!
1.   P—>A                    Premise
2.   X—>B                    Premise
3.   (P v X) —> (A v B)      This follows directly by Constructive Dilemma (CD)

===================================
I think this proves it the long way…
—
1.   P—>A                    Premise
2.   X—>B                    Premise
3.   P v X                   Premise
::4.   P                       Assumption, start Conditional Proof (CP)
::5.   A                       4,1 Modus Ponens (MP)
::6.   A v B                   5 Addition (ADD)
::7.   X                       Assumption
::8.    B                      7,2 MP
::9.   A v B                   8 ADD          
10.  A v B                   1,2,3 Proof By Cases (PBC)  { Discharges CP assumptions }       
11.  (P v X) —> (A v B)      1,2  CP

RELATED QUESTIONS

Can you please assist me with these problems? We are using the Rules of Inference and the (answered by jim_thompson5910)
4) I can only use the 8 rules of inference. 1. ~(S v R) 2. B → (S v R) 3. B v P (answered by jim_thompson5910)
1. (J v F) v M 2. (J v M) ⊃ ~P 3. ~F/~(F v P) I need help tryin to figure out... (answered by Solver92311)
Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)
Choose one of the proofs below and use one of the indirect proof techniques (reductio ad... (answered by jim_thompson5910)
Phil 10 4. [10] use only inference and replacement rules (no CP or IP): 1. (~P v... (answered by Edwin McCravy,RBryant)
Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)
solve plz? with rules of inference and replacement... 1. (~D + A) v (~D + R) 2. D v... (answered by math_tutor2020)
7)I can only use the 8 Rules of Inference. Need help!!! 1. (T → C) → ~F 2.... (answered by jim_thompson5910)