това площину математика
Висновок
Логіка предикатів, як і традиційна формальна логіка, розчленовує елементарне висловлювання на суб'єкт (буквально - підмет, хоча воно може грати і роль доповнення) і предикат (буквально - присудок, хоча воно може грати і роль визначення).
Суб'єкт - це те, про що що - то стверджується в висловлюванні, а предикат - це те, що стверджується про суб'єкта. Логіка предикатів - це розширення логіки висловлювань за рахунок використання предикатів в ролі логічних функцій.
Отже, актуальність теми реферату безсумнівна. Мета досягнута і завдання виконані. Література переглянута, обрана, проаналізована, результати представлені в даному рефераті.
Список використаних джерел
1. Евнін А.Ю. Дискретна математика. Конспект лекцій. 1998.
2. Єрусалімський А.Я. Дискретна математика. Теорія. Завдання. Додатки. 2000.
3.Електронний джерело. URL: http://forum. vopr lt; http: //forum.voprgt;
.Електронний джерело. http://lib. mexmat/books/109887 lt; http: //lib.mexmat/books/109887gt;
.Електронний джерело. http://lib. mexmat/books/81214 lt; http: //lib.mexmat/books/81214gt;
