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=7934352&tstart=0#7934352 > On Dec 9, 9:05 am, Dan Christensen]]> Dec 9, 2012 12:39:45 AM Dec 9, 2012 12:39:45 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=7934287&tstart=0#7934287 wrote:
> On Dec 8, 1:58 pm, Graham Cooper]]> Dec 8, 2012 6:30:40 PM Dec 8, 2012 6:30:40 PM grahamcooper7@gmail.com 1 Re: A formal counter-example of Ax Ey P(x,y) -> Ey Ax P(x,y) http://mathforum.org/kb/thread.jspa?messageID=7934280&tstart=0#7934280 > On Dec 8, 6:14 am, Dan Christensen]]> Dec 8, 2012 6:05:19 PM Dec 8, 2012 6:05:19 PM Dan_Christensen@sympatico.ca 2 Re: A formal counter-example of Ax Ey P(x,y) -> Ey Ax P(x,y) http://mathforum.org/kb/thread.jspa?messageID=7934214&tstart=0#7934214 > Let the domain of quantification be U = {x, y} for]]> Dec 8, 2012 1:58:17 PM Dec 8, 2012 1:58:17 PM grahamcooper7@gmail.com 3 A formal counter-example of Ax Ey P(x,y) -> Ey Ax P(x,y) http://mathforum.org/kb/thread.jspa?messageID=7934215&tstart=0#7934215 ]]> Dec 8, 2012 1:58:16 PM Dec 8, 2012 1:58:16 PM 4