SOLUTION: 1. (A->B) v (C•D) 2.A //-B->C

Algebra ->  Proofs -> SOLUTION: 1. (A->B) v (C•D) 2.A //-B->C      Log On


   

Question 996914: 1. (A->B) v (C•D)
2.A
//-B->C
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!

NumberStatementLines UsedReason
1(A -> B) v (C * D)
2A
:.~B -> C
3(~A v B) v (C * D)1MI
4[(~A v B) v C] * [(~A v B) v D]3Dist
5[(~A v B) v C]4Simp
6~A v (B v C)5Assoc
7~~A2DN
8B v C6,7DS
9~~B v C8DN
10~B -> C9MI

Acroynyms/Abbreviations Used:

MI = Material Implication
Dist = Distribution
Assoc = Association
Simp = Simplification
DN = Double Negation
DS = Disjunctive Syllogism