document.write( "Question 1205245: 1. J v (K · L)
\n" ); document.write( "2. ~ K //  J
\n" ); document.write( " \n" ); document.write( "

Algebra.Com's Answer #841907 by math_tutor2020(3817) $\"\"$ $\"About$

You can put this solution on YOUR website!

\n" ); document.write( "Tutor Edwin offers a great direct proof.
\n" ); document.write( "I'll show an indirect proof (aka proof by contradiction).\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "The idea is to assume the opposite of the conclusion.
\n" ); document.write( "From there, show it leads to a contradiction, and hence the original conclusion must be the case.
\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

Number	Statement	Line(s) Used	Reason
1		J v (K & L)
2		~K
:.		J
	3	~J		Assumption for Indirect Proof
	4	K & L	1, 3	Disjunctive Syllogism
	5	K	4	Simplification
	6	K & ~K	5, 2	Conjunction
7		J	3 - 6	Indirect Proof

\n" ); document.write( "Here is the list of the rules of inference and rules of replacement
\n" ); document.write( "https://www.algebra.com/algebra/homework/Conjunction/logic-rules-of-inference-and-replacement.lesson
\n" ); document.write( " \n" ); document.write( "

\n" );