ТерминыТермины

Предикат

Логические операции
Кванторы