X2211 : SAVEDWFF
X2211
is a saved wff.
Defined as ~.~
FORALL
x(
I
) [Q(OI) x
OR
~
FORALL
y(
I
)
R
(OI) y]
OR
FORALL
z(
I
) Q z
OR
~
FORALL
w(
I
)
R
w
No more
help
available. Sorry.
TPS documentation homepage
© 1988-99, Carnegie Mellon University.
TPS homepage