X2209 : SAVEDWFF

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

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage