Определение и типы предикатов. Предикаты описывают истинность (истина или ложь) после подстановки аргументов. Одноместные и n-местные предикаты различаются по количеству объектов