462
правки
Изменения
Нет описания правки
* Всеобщности <font color = blue>$\forall$</font>;
* Существования <font color = blue>$\exists$</font>.
==== Синтаксис ====
<font color = red>Квантор Переменная <font color = grey>(</font>Условие<font color = grey>)</font></font>
==== Примеры ====
G <font color = blue>where</font> <font color = blue>$\exists$</font>S <font color = gray(S<font color = gray>.</font>FirstName <font color = gray>=</font> <font color = green>'Иван'</font> ∧ S<font color = gray>.</font>GId <font color = gray>=</font> G<font color = gray>.</font>GId<font color = gray>)</font></font>
G <font color = blue>where</font> <font color = blue>$\forall$</font>S <font color = gray>(</font>S<font color = gray>.</font>FirstName <font color = gray>=</font> <font color = green>'Иван'</font> ∨ S<font color = gray>.</font>GId <font color = gray><></font> G<font color = gray>.</font>GId<font color = gray>)</font>
