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