Квантор: відмінності між версіями

[перевірена версія][неперевірена версія]
Вилучено вміст Додано вміст
буква не та
Рядок 1:
'''Ква́нтор''' — логічний оператор, що перетворює всякий [[предикат]] на предикат меншої місностімірності, зв'язуючи деякі змінні початкового предиката. Повсюдно вживаються два квантори: універсальний (позначається ‘<math>\forall</math>’) та екзистенціальний (позначається ‘<math>\exists</math>’). Для будь-якого предиката <math>F\,(x)</math> вирази <math>\forall x F(x)</math> та <math>\exists x F(x)</math> читаються як «всі <math>x</math> мають властивість <math>F\,(x)</math>» та «існує (бодай один) <math>x</math>, що має властивість <math>F\,(x)</math>» відповідно.
 
== Квантори у класичній логіці ==