Jokaisella filosofilla on serkku, joka on kaljupäinen.
Siis: Ei ole olemassa filosofia, jolla ei ole kaljupäistä sekkua.
eli formaalisti
(x) (F(x) -> (Ey) (S(x,y)& K(y))
Siis: - ((Ex) (F(x) & - (Ey)(S(x,y) &K(y)))
X Tämä lause on epätosi. Onko siis tämä lause totta vai epätotta.
XX Mies sanoo: "Valehtelen." Puhuuko hän totta vai epätotta?
XXX Kreetalainen Epinemes sanoo: "Kaikki kreetalaiset ovat valehtelijoita." Puhuuko hän totta vai epätotta?