|
|
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 pre-parse ALL(x) .... into subset(X....) for the
logicians!
Herc
--
www.BLoCKPROLOG.com
|
|
