logika Szymon : Dla każdej liczby parzystej istnieje liczba pierwsza od niej większa. Niech P(x) oznacza predykat x jest liczbą parzystą, Q(x) niech oznacza predykat x jest liczbą pierwszą, a R(x,y) predykat liczba x jest większa od liczby y. Wówczas, z dokładnością do równoważności, zdanie to reprezentuje formuła: (a) ∀(P(x)→∃y(Q(y)∧R(x,y)), (b) ∀x∃y(¬P(x)∨(Q(y)∧R(y,x)), (c) ∀x(P(x)∧∃y(Q(y)∧R(y,x)), (d) ∀x∃y(¬P(x)∧(Q(y)→ R(x,y)).

Pytający: (b)