Какой язык логики описывался в лекции?

Язык логики групп
Язык логики переменных
Язык логики предикатов
Язык логики свойств

Для просмотра статистики ответов нужно залогиниться.