Квантор: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
м откат правок 46.188.121.23 (обс.) к версии Rzhikharevich Метка: откат |
м откат правок Alexei Kopylov (обс.) к версии 46.188.121.23 Метка: откат |
||
Строка 31:
(«При всех значениях <math>x</math> утверждение верно»).
* Высказывание <math>\exists xP(x)</math> означает, что область истинности предиката <math>P(x)</math>
(«Существует <math>x</math>, при котором утверждение верно»).
<!--
|