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