3
Second Order Logic
•
Add second order quantifiers:
9
X.
f
or
8
X.
f
•
•
All 2nd order quantifiers can be done before
the 1st order quantifiers [ why ?]
•
•
Hence:
Q
1
X
1
. …
Q
m
X
m
. Q
1
x
1
… Q
n
x
n
.
f
,
where
f
is quantifier free