Квантор: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Строка 63:
<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><!--
Здесь были Димас Пожилов, Данька Белоусов, Сергий Куманей.
=== Ограниченные кванторы ===-->
|