Изменения
→Условия с кванторами
=== Условия с кванторами ===
Поверх логических формул можно навешивать кванторы:* Всеобщности всеобщности <font color = blue>$\forall$</font>;* Существования и существования <font color = blue>$\exists$</font>.
==== Синтаксис ====
