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