Квантор: различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Bezik (обсуждение | вклад) Отклонено последнее 1 изменение (62.76.152.152): тестовые правки |
MBHbot (обсуждение | вклад) м c латинская |
||
Строка 1:
'''Ква́нтор''' — общее название для логических операций, ограничивающих область истинности какого-либо [[предикат]]а и создающих [[Высказывание (логика)|
* '''[[Квантор всеобщности]]''' (обозначение: <math>\forall</math>, читается: «для всех…», «для каждого…» или «каждый…», «любой…», «для любого…»).
* '''[[Квантор существования]]''' (обозначение: <math>\exists</math>, читается: «существует…» или «найдётся…»).
В [[Математическая логика|математической логике]] приписывание квантора к формуле называется ''связыванием'' или '''квантификацией'''.
В [[Многозначная логика|многозначных логиках]] также вводятся и другие кванторы, например, ''квантор плюральности'' (квантор Решера) (обозначается перевёрнутой ''M'', читается «для большинства …»).
Строка 23:
Пусть на множестве <math>X</math> простых чисел задан предикат <math>P(x)</math>: «Простое число <math>x</math> нечётно». Подставим перед этим предикатом слово «любое». Получим ложное высказывание «любое простое число <math>x</math> нечётно» (это высказывание ложно, так как 2 — простое чётное число).
Подставив перед данным предикатом <math>P(x)</math> слово «существует», получим истинное [[Высказывание (логика)|
Таким образом, превратить предикат в высказывание можно, поставив перед предикатом слова («все», «существует» и другие), называемые в логике кванторами.
| |||