13
Examples
•
3-colorability:
f
=
8
x.(A(x)
Ç
B(x)
Ç
C(x))
y
A
=
8
x.
8
y.(R(x,y)
)
:
(A(x)
Æ
A(y)))
y
B
=
8
x.
8
y.(R(x,y)
)
:
(B(x)
Æ
B(y)))
y
C
=
8
x.
8
y.(R(x,y)
)
:
(C(x)
Æ
C(y)))
9
A.
9
B.
9
C.(
f
Æ
y
A
Æ
y
B
Æ
y
C
)