Высказывания с кванторами

Для того, чтобы высказывательную форму преобразовать в высказывание, существуют специальные слова, называемые кванторами. Различают кванторы общности и кванторы существования.

К кванторам общности () относятся слова: все, любой, каждый и т.д.Запись ( х) А(х) означает: “для всякого значения х предложение А(х) – истинное высказывание”.

К кванторам существования () относятся слова: некоторые, хотя бы один и т.д. Запись ( х) А(х) означает: “существует такое значение х, что А(х) – истинное высказывание”