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

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

Number	Statement	Lines Used	Reason
1	(A -> B) v (C * D)
2	A
:.	~B -> C
3	(~A v B) v (C * D)	1	MI
4	[(~A v B) v C] * [(~A v B) v D]	3	Dist
5	[(~A v B) v C]	4	Simp
6	~A v (B v C)	5	Assoc
7	~~A	2	DN
8	B v C	6,7	DS
9	~~B v C	8	DN
10	~B -> C	9	MI

Acroynyms/Abbreviations Used:

MI = Material Implication
Dist = Distribution
Assoc = Association
Simp = Simplification
DN = Double Negation
DS = Disjunctive Syllogism
RELATED QUESTIONS
1. A -> (B -> C) 2. A -> B 3. ~ C ->(A V D) / C V... (answered by Edwin McCravy)

1. ~ A V (B & E) 2. ~ A -> ~ C 3. C V (B & D) /... (answered by Edwin McCravy)

1. (A v B) > ~C 2. C v D 3. A Conclusion: D (answered by jim_thompson5910)

1. A v (B v C) 2. C ⊃ (D • E) 3. ~D / A v B (answered by mccravyedwin)

I need help finishing this proof. A v (~B v ~C), A -> (D -> E), ~(~B v ~D) :. C -> (D -> (answered by jim_thompson5910)

1. A ⊃ B 2. C ⊃ D 3. ~(D v B) // C ≡ A (answered by Edwin McCravy)

1. (A v B) ⊃ (C v D) 2. C ⊃ E 3. A • E /∴ E v... (answered by Edwin McCravy)

1. D 2. ~C 3. (A v B) -> C 4. [(~A � D) � ~B] -> (P -> Q) :. ~P v... (answered by jim_thompson5910)

I need help finishing this proof. (A . B) -> (E -> A), (A . B) v C, C -> D :. (E -> A) (answered by jim_thompson5910)