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

Предикатом называют предложение,
принимающее только два значения: "истина" или "ложь". Для
обозначения предикатов применяются логические связки между высказываниями: ¬ - не, ... Читать дальше »