X2204 : SAVEDWFF

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

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage