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