X2206 : SAVEDWFF

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

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage