Math Forum http://mathforum.org/kb List of forum topics en Re: PROVE ALL NATURALS ARE NOT EVEN! ~ALL(X) p(X) <-> EXIST(X) ~p(X) http://mathforum.org/kb/thread.jspa?messageID=8402433&tstart=0#8402433 > On Feb 20, 5:51 am, Graham Cooper]]> Feb 23, 2013 10:50:57 PM Feb 23, 2013 10:50:57 PM grahamcooper7@gmail.com 0 Re: PROVE ALL NATURALS ARE NOT EVEN! ~ALL(X) p(X) <-> EXIST(X) ~p(X) http://mathforum.org/kb/thread.jspa?messageID=8394765&tstart=0#8394765 > BLOCK PROLOG is really coming]]> Feb 22, 2013 2:51:04 PM Feb 22, 2013 2:51:04 PM shymathguy@gmail.com 1 PROVE ALL NATURALS ARE NOT EVEN! ~ALL(X) p(X) <-> EXIST(X) ~p(X) http://mathforum.org/kb/thread.jspa?messageID=8378519&tstart=0#8378519
This proof outline uses

~ALL(X) p(X) <-> EXIST(X) ~p(X)

Now I can (automatically)]]> Feb 20, 2013 5:51:05 AM Feb 20, 2013 5:51:05 AM grahamcooper7@gmail.com 2