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