Предикат является подтверждением для определенного свойства объекта или отношения между объектами.это говорит о том, что свойство существует для этого объекта.если вам дается формула P для президента Америки, тогда
P (Обама, Америка) = true.
говорит о том, что вы правы и что собственность Обамыбыть президентом Америки - это правда, и то, что Обама является президентом Америки, правда, но
P (Путин, Америка) = ложь.
говорит Путину, что он президент Америкиfalse, что говорит вам о том, что объект или объекты содержат или не содержат определенное свойство или отношение.Что касается функций, то возвращает значение, связанное с определенным свойством объекта, такого как президент Америки, мать Энн и т. Д. Вы даете им значение, и они возвращают значение. Например, пусть P будет функцией, которая возвращает президента страны, переданного в качестве аргументов
П (Америка) = Обама.
П (Россия) = Путин.