X2213 : SAVEDWFF
X2213
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