Изменения

Перейти к: навигация, поиск

Исчисление кортежей

203 байта добавлено, 00:32, 27 декабря 2021
Синтаксис
==== Синтаксис ====
В общем случае пишем сначала квантор, затем переменную, а далее в скобках условие, которое должно выполняться.
<font color = red>Квантор Переменная <font color = grey>(</font>Условие<font color = grey>)</font></font>
Анонимный участник

Навигация