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