Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: And Now For my next PROGRAM. . . . . . (~P->F & ~P->~F) -> P
Replies: 0

 Graham Cooper Posts: 4,495 Registered: 5/20/10
And Now For my next PROGRAM. . . . . . (~P->F & ~P->~F) -> P
Posted: Dec 6, 2012 3:37 AM

And Now For my next PROGRAM...

.. I will attempt to PROVE ... BY CONTRADICTION..

....

..that you can't add 2 terms together,
get the SUM, and add it back to the 1st term
to get the 2nd term...

using only these facts printed here for your amusement...

if( bigger(N,M) , not(bigger(M,N)) ).
if( not(bigger(N,M)) , bigger(M,N) ).

and depth limited MODUS PONENS..

t(NEW,l(L)) :- if(OLD,NEW) , t(OLD,L).

and introducing my new Deduction formula...

t(PC,l(L)) :- if(not(PC),t(F,L)) , if(not(PC),not(F)).

(~P->F & ~P->~F) -> P

I will get PROLOG to LOOK AHEAD...

BY ASSUMING NOT(PC)
... FIND a formula F and also a formula NOT(F)
.... implied by PC

something like
SUM>N & N>SUM ...

what it was I was about to Prove!.....

-------------------

STAY TUNED.... this is not easy folks!

Do not attempt this at Home...

This could take a week or 3...

COMING
S
O
O
N

interpreter on the Web!