Логика первого порядка. (Лекции 10-11)
Понятие терма, предиката A – «каждый человек смертен», B – «Сократ — человек», C – «Сократ смертен». Исходное умозаключение будет соответствовать формуле логики высказываний A ∧ B → C Приведем данную формулу к нормальной форме: A ∧ B → C = ¬ (A ∧ B) ∨ С = ¬А ∨ ¬В ∨ С Понятие предиката Определен некоторый предикат, если: Задано некоторое (произвольное) множество, называемое областью определения предиката (предметная область); Фиксировано множество {1, 0}, называемое областью значений; Указано правило, с помощью которого каждому элементу, взятому из предметной области, ставится в соответствие один из двух элементов из области значений.