Hi,
I don't understand why qKpNq is not a valid WFF. Can someone explain me please? I'm misunderstanding the problem.
The problem statement says
* p, q, r, s, and t are WFFs
* if w is a WFF, Nw is a WFF
* if w and x are WFFs, Kwx, Awx, Cwx, and Ewx are WFFs.
Hence q, p, Nq and KpNq are valid ...