Date: Feb 3, 2013 5:44 PM
Author: Graham Cooper
Subject: Re: This is False. 0/0 {x | x ~e x} e {x | x ~e x} A single Principle<br> to Resolve Several Paradoxes

> 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