Как определить множество четных чисел с помощью кванторов и предикатов?

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

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

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

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