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