document.write( "Question 1204425: 1). ~(K•L)
\n" ); document.write( "2). K -> L\r
\n" ); document.write( "\n" ); document.write( "Therefore, ~K \n" ); document.write( "

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

You can put this solution on YOUR website!

\n" ); document.write( "I'll use the ampersand symbol & in place of the center dot.
\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

Number	Statement	Line(s) Used	Reason
1	~(K & L)
2	K --> L
:.	~K
3	~K v ~L	1	De Morgan’s Law
4	K --> ~L	3	Material Implication
5	L --> ~K	4	Transposition
6	K --> ~K	2,5	Hypothetical Syllogism
7	~K v ~K	6	Material Implication
8	~K	7	Tautology

\n" ); document.write( "Refer to these rules of inference and replacement
\n" ); document.write( "https://logiccurriculum.com/2019/02/09/rules-for-proofs/
\n" ); document.write( " \n" ); document.write( "

\n" );