Введение в предикаты в логике первого порядка, их определение, типы по структуре и количеству аргументов. Предикаты возвращают истину или ложь, используя переменные