What I am thinking was I need two formulas,
AX.p(X) => something
AX.p(X) => ~ something
I guess something maybe is the p(x) and the other is ~p(x) since we was given EX.~p(x)..But actually it can't work for me. And I guess maybe is EX.~p(x) and ~EX.~p(x)..But if I am doing that then the it will go to deadend..so I give up..;(
Wish someone can help me.
For note about EE:
1: EX.p(X) 2: AX.(p(X) => something)
3: something EE1,2
But something cann't have the free variable from p..in this sample, then soemthing cannot including X..so if something is p(X) it cannot use EE, but if p(Y) then can use EE.