Понятие предиката
Алгебра предикатов
Формулы алгебры предикатов
Интерпретации формул алгебры предикатов