Логіка предикатів

Традиційно логіка вивчається як галузь філософії. Починаючи із середини вісім сотих років минулого тисячоліття логіка стає предметом дослідження математики, а останнім часом і інформатики. Як наука, логіка досліджує та класифікує структури тверджень та аргументів та розробляє схеми їх кодифікації. Таким чином, предмет дослідження логіки може бути дуже широким, включаючи судження про ймовірність та причинність. Логікою також досліджуються структури логічних хиб та парадокси.

Вступ………………………………………………………………………3-4
1. Предикат………………………………………………………………..5-6
2.Логіка предикатів……………………………………………………….7
3.Числення предикатiв…………………………………………………....8-10
4. Відмітні риси логіки предикатів……………………………………....11-13
Список використаної літератури………………………………………...14