X2214 : SAVEDWFF
X2214
is a saved wff.
Defined as
FORALL
x(
I
)
P
(OI) x
EQUIV
EXISTS
y(
I
)
FORALL
z(
I
) Q(OIII) x y z
No more
help
available. Sorry.
TPS documentation homepage
© 1988-99, Carnegie Mellon University.
TPS homepage