% problem-set/pelletier/p35.clauses % created : 08/17/89 % revised : 08/17/89 % description: % % Full Predicate Logic (without Identity and Functions). Problem #35. % (Ex)(Ey)(Pxy -> (Ax)(Ay)Pxy). % representation: % % declare_predicate(2,P). % declare_variables([x,y]). % denial of the statement -(exists x exists y (P(x,y) -> (all x all y P(x,y)))).