@kennethamy,
kennethamy;128531 wrote:~(~KK > ~K) is equivalent to: It is not the case that not knowing is a necessary condition of not knowing that you know.
Yes, but you are still assuming that this premise is true are you not?
Does it not boil down to the acceptance of your premise since your form is valid?