```Date: Nov 17, 2012 3:50 AM
Author: Graham Cooper
Subject: SCI.LOGIC is a STAGNANT CESS PITT of LOSERS!

FROM AXIOMS you DERIVE THEOREMS!Nobody CARES if  SomeModel |=  'this is not derivable from youraxioms"looks TRUE!IT's not DERIVABLE FROM THE AXIOMS!   END OF STORY!Nothing Mathematically INCOMPLETE ABOUT IT!LOGIC is an ARTS DEGREE on SLAGGING OFF COMPUTER PROGRAMMERS becauseyou PROVED YOURSELVES STUPID!1 Godel proved LOGIC DOESNT WORK!2 Everyone FELL FOR IT for 100 years3 Literacy Students took up volumes of texts on logicand Swamped any discussion with THAT WONT WORK because  "TEACHER ISRIGHT" arguments!Any and All mathematical logicians posting to SCI.LOGIC have all beenverbally abused 100, 1000 times or more until they all left.Me included.******************www.microPROLOG.comA FORMAL SYSTEM WRITTEN PURELY IN PREDICATES!f(0).t(1).t(X) :- f(f(X)).wff(X) :- t(X).wff(X) :- f(X).what(X,true) :- t(X).what(X,false) :- f(X).t(if(X,Y)) :- t(X), t(Y).t(if(X,Y)) :- f(X), f(Y).t(if(X,Y)) :- f(X), t(Y).t(or(X,Y)) :- t(X).t(or(X,Y)) :- t(Y).t(and(X,Y)) :- t(X),t(Y).t(iff(X,Y)) :- t(X),t(Y).t(iff(X,Y)) :- f(X),f(Y).t(xor(X,Y)) :- t(X),f(Y).t(xor(X,Y)) :- f(X),t(Y).f(if(X,Y)) :- t(X),f(Y).f(or(X,Y)) :- f(X),f(Y).f(and(X,Y)) :- f(X).f(and(X,Y)) :- f(Y).f(iff(X,Y)) :- t(X),f(Y).f(iff(X,Y)) :- f(X),t(Y).f(xor(X,Y)) :- t(X),t(Y).f(xor(X,Y)) :- f(X),f(Y).RESOLUTIONor(R,Q) :- if(L,R), or(L,Q).or(R,Q) :- if(L,R), or(Q,L).or(Q,R) :- if(L,R), or(L,Q).or(Q,R) :- if(L,R), or(Q,L).MODUS PONENSt(R) :- if(L,R), t(L).t(R) :- or(f(L),R), t(L).t(R) :- or(R,f(L)), t(L).INFERENCE RULESif( if(t(S),f(R)) , if(t(R),f(S)) ).-----------------------On Oct 31, 12:13 am, Gary Forbis  wrote:> -? wff(if(1,0))> having found wff(X) :- t(X).> wants to evaluate t(if(1,0)).> having found t(if(X,Y)) :- if(X,Y).> wants to evaluate if(1,0).> having found if(X,Y) := t(X), t(Y).> wants to evalueate t(1).> Find t(1)> RETURNS success.> wants to evaluate t(0).> RETURNS failure.> wants to evaluate t(if(if(1,0),Y) :- if(if(1,0),Y)> wants to evaluate if(1,0)> ...Only 1 other capable mathematical logician here!
```