Поиск в разделе:

Оператор, формализующий в исчислении предикатов логические свойства выражений