Определение множества чётных чисел с помощью кванторов и предикатов можно записать так: P = {p | ∀p ∈ P ∃! n ∈ ℕ (p = 2n)}. 1

Это множество определяет все натуральные чётные числа. 1 Если чётными могут быть и не только натуральные числа, то в определении нужно вместо множества натуральных чисел подставить другое множество, например множество действительных чисел. 1

Также для определения чётного числа можно использовать предикат P(x) = «x — чётное число». 25

Кроме того, для записи истинных высказываний о чётности чисел можно использовать квантор существования ∃. 34