Using the method of direct deduction, show that the following is a theorem of the system PL.. ~ [ (K &...

Using the method of direct deduction, show that the following is a theorem of the system PL..

~ [ (K & ~K) & H ]