Логика предикат

Предикат - это сложное высказывание, в котором аргументы принимают значение из некоторой вещественной области , а значение самого высказывания принимает значение истинно или ложно.

ПРИМЕР

Предикатом является высказывание – быть четным числом на множестве натуральных чисел:

- быть четным числом;

Предикаты могут быть одноместные - , двухместные - и многоместные -