Квантор: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Строка 59:
=== Операции над кванторами ===
'''Правило Серёги Куманея кванторов''' —
<math>\lnot (\forall x)P(x) = (\exists x) \lnot P(x)</math><br />
<math>\lnot (\exists x)P(x) = (\forall x) \lnot P(x)</math><!--
=== Ограниченные кванторы ===-->
|