Math Forum http://mathforum.org/kb List of forum topics en Re: A formal counter-example of Ax Ey P(x,y) -> Ey Ax P(x,y) http://mathforum.org/kb/thread.jspa?messageID=7935878&tstart=0#7935878 > Dan Christensen]]> Dec 12, 2012 11:53:50 AM Dec 12, 2012 11:53:50 AM Dan_Christensen@sympatico.ca 0 Re: A formal counter-example of Ax Ey P(x,y) -> Ey Ax P(x,y) http://mathforum.org/kb/thread.jspa?messageID=7935869&tstart=0#7935869
> This problem is central to predicate]]> Dec 12, 2012 11:22:16 AM Dec 12, 2012 11:22:16 AM aatu.koskensilta@uta.fi 1 A formal counter-example of Ax Ey P(x,y) -> Ey Ax P(x,y) http://mathforum.org/kb/thread.jspa?messageID=7935873&tstart=0#7935873 ]]> Dec 12, 2012 11:22:15 AM Dec 12, 2012 11:22:15 AM 2