SOLUTION: 1. A > [B>(C*~D)] 2. (BvE)>(DvE) Therefore, 3. (A*B) > (C*E) Using conditional proof and 18 rules derive the conclusion to prove it is valid

Algebra.Com
Question 582129: 1. A > [B>(C*~D)]
2. (BvE)>(DvE)
Therefore,
3. (A*B) > (C*E)
Using conditional proof and 18 rules derive the conclusion to prove it is valid
Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!

1.   A > [B > (C * ~D)]
2.   (B v E) > (D v E)           /    (A*B) > (C*E) 
---------------------------------------------
3.   A * B       Conditional Proof(assume antecedent of conclusion is true)
4.   B * A                       3       Commutation
5.   A                           3       Simplification
6.   B                           4       Simplification
7.   B > (C * ~D)                1,5     Modus Ponens
8.   C * ~D                      7,6     Modus Ponens
9.   C                           8       Simplification
10.  ~D * C                      8       Commutation
11.  ~D                          10      Simplification
12.  B v E                       6       Addition
13.  D v E                       2,12    Modus Ponens
14.  E                           13,11   Disjunctive Syllogism  
15.  C * E                       9,14    Conjunction

RELATED QUESTIONS

Use conditional proof (CP) together with the eight rules of implication and ten rules of... (answered by math_tutor2020)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)
use the inference rules, replacement rules, indirect proof and/or conditional proof to... (answered by mccravyedwin,Edwin McCravy)
I need help deriving the conclusion (using CONDITIONAL proof). You can use all 18 rules. (answered by jim_thompson5910)
Use the inference rules, replacement rules, indirect proof, or conditional proof to... (answered by Edwin McCravy)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by solver91311)
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)
Can i please have help solving these proofs? Use an ordinary proof (not conditional or... (answered by jim_thompson5910)