| квантор | существования |
Ква́нтор — общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание. Чаще всего упоминают: (Википедия)
Ква́нтор — общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание. Чаще всего упоминают:
Все значения слова «квантор»Примеры общих предсказаний, наделённых квантором всеобщности, были приведены выше.
Так, применённый к понятию, квантор существования означает, что при подстановке по крайней мере одного имени предмета это понятие превращается в предложение, имеющее в качестве истинностного значения «истину», т. е., иными словами, это понятие не является пустым.
Кажется не случайным, что жестовое ударение в предложении (904) соотносится именно со словом каждый – языковым аналогом квантора общности.