Квантор: различия между версиями
| [отпатрулированная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Нет описания правки Метки: отменено через визуальный редактор |
|||
Строка 1:
'''Ква́нтор''' — общее название для логических операций, ограничивающих область истинности какого-либо [[предикат]]а и создающих [[Высказывание (логика)|высказывание]]. Чаще всего упоминают:
* '''[[Квантор всеобщности]]''' (обозначение: <math>\forall</math>, читается: «для любого…», «для каждого…», «для всех…» или «каждый…», «любой…», «все…»).
* '''[[Квантор существования]]''' (обозначение: <math>\exists</math>, читается: «существует…» или «
В [[Математическая логика|математической логике]] приписывание квантора к формуле называется ''связыванием'' или '''квантификацией'''.{{нет АИ|18|08|2016}}
| |||