Предикаты и операции над ними?

Предикат - любое маиематическое высказывание в котором есть хоть одна переменная.

Предикат - понятие логическое, имеет два значения: истина и ложь.

Для предикатов свойственны все операции булевой алгебры:

- отрицание,

- импликация,

- конъюнкция,

- дизъюнкция.