@kennethamy,
kennethamy;78446 wrote:So if K is false, then ~K is true, and ~KvM, is true.
Yes, and an argument is invalid if the premises can all be true while the conclusion is false. KvM is your conclusion isn't it?
Whichever way you arrange that set of sentences, you won't reach a valid argument.
KvM, K->(L->M) |- ~KvL Counterexample:
K= T
L = F
M = T
KvM, ~KvL |- K->(L->M) Counterexample:
K = T
M = F
L = T