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