X2201 : SAVEDWFF

X2201 is a saved wff.
Defined as ~.EXISTS x(I) Q(OII) x y(I) IMPLIES ~FORALL z(I).FORALL u(I) P(OIII) u y z IMPLIES ~EXISTS v(I) R(OI) v
No more help available. Sorry.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage