X2200 : SAVEDWFF
X2200
is a saved wff.
Defined as ~
FORALL
x(
I
)
R
(OII) x u(
I
)
AND
EXISTS
y(
I
).~
FORALL
z(
I
)
R
y z
IMPLIES
Q(OII) u y
No more
help
available. Sorry.
TPS documentation homepage
© 1988-99, Carnegie Mellon University.
TPS homepage