wiki-linki.ru - поиск статей википедии и связей между ними

Квантор


Квантор — общее название для логических операций, ограничивающих область истинности какого-либо предиката. Чаще всего упоминают квантор всеобщности (обозначение: (....), читается: «для всех…», «для любого…» или «любой…») и квантор существования (обозначение: (....), читается: «существует…» или «найдется…»). В математической логике приписывание квантора к формуле называется связыванием или навешиванием квантора.


Вопрос по теме Сформулируйте свой вопрос в одном предложении. Для вопросов и ответов используется сервис Отвечай.ru

Проект wiki-linki.ru основан на данных Wikipedia, доступной в соответствии с GNU Free Documentation License.