Предикат - любое маиематическое высказывание в котором есть хоть одна переменная.
Предикат - понятие логическое, имеет два значения: истина и ложь.
Для предикатов свойственны все операции булевой алгебры:
- отрицание,
- импликация,
- конъюнкция,
- дизъюнкция.