помогите понять что такое "Предикат"

Answer 1

Любое утверждение о каком-либо объекте. Например, Эта машина белого цвета - объект Машина, а то что утверждается, что она такого-то цвета, это Предикат свойства. Дале - Она ( белая машина) стоит во дворе. Здесь уже слово белая не является предикатом, здесь Объект - Белая машина, Предикат - то что она стоит - это предикат действия. Если сказать, что Белая машина стоящая во дворе сломана и нуждается в ремонте, то Белая машина стоящая во дворе - это объект и два предиката - нуждается - предикат действия, и сломана - предикат состояния.
Логика требует чтобы предикаты не противоречили друг другу, но это уже "другая история".