document.write( "Question 996914: 1. (A->B) v (C•D)
\n" ); document.write( "2.A
\n" ); document.write( "//-B->C \n" ); document.write( "

Algebra.Com's Answer #615287 by jim_thompson5910(35256) $\"\"$ $\"About$

You can put this solution on YOUR website!

\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

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

\r
\n" ); document.write( "\n" ); document.write( "Acroynyms/Abbreviations Used:\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "MI = Material Implication
\n" ); document.write( "Dist = Distribution
\n" ); document.write( "Assoc = Association
\n" ); document.write( "Simp = Simplification
\n" ); document.write( "DN = Double Negation
\n" ); document.write( "DS = Disjunctive Syllogism \n" ); document.write( "

\n" );