
Re: This is False. 0/0 {x  x ~e x} e {x  x ~e x} A single Principle to Resolve Several Paradoxes
Posted:
Feb 3, 2013 5:44 PM


> and I need a routine for SUBSET( var, set1, set2 ) > which can do quantifier ALL(var). > > A(x):D P(x) > > <=> > > { x  x e D } C { x  P(x) }
<=>
subset( X, d(X), p(X)) PROLOG
<=>
subset X [d X] [p X] BLOCK PROLOG
if I get that far! I may even preparse ALL(x) .... into subset(X....) for the logicians!
Herc  www.BLoCKPROLOG.com

