Изменения

Исчисление кортежей и его реляционная полнота

70 байт добавлено, 00:33, 20 декабря 2021

м

Нет описания правки

=== Условия с кванторами ===

Поверх логических формул можно навешивать кванторы:

* Всеобщности <font color = blue>$\forall$</font>;* Существования <font color = blue>$\exists$</font>.

462

правки