X2203 : SAVEDWFF

X2203 is a saved wff.
Defined as FORALL x(I) [~EXISTS y(I) FORALL u(I) P(OII) x y] IMPLIES ~.EXISTS z(I) P x y IMPLIES FORALL y P u y
No more help available. Sorry.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage