Реферат: Застосування логiки предикатiв

Числення предикатiв, яке не мiстить функцiональних букв i предметних констант, називається чистим численням предикатiв. Досi мова йшла переважно саме про чисте числення предикатiв. Такi числення мiстять тiльки означенi вище так званi логiчнi аксiоми (або схеми аксiом).

Прикладнi числення (теорiї першого порядку) характеризуються тим, що в них до логiчних аксiом додаються власнi спецiальнi аксiоми, в яких визначають властивостi конкретних (iндивiдуальних) предикатних букв i предметних констант з певної предметної областi.

Найтиповiшi приклади iндивiдуальних предикатних букв - предикати = (рiвностi) i ? (порядку), а функцiональних букв - знаки арифметичних операцiй +, ?, ?, / тощо та iнших популярних математичних функцiй. Як предметнi областi найчастiше виступають множина N натуральних чисел, множина Z цiлих чисел, множина R дiйсних чисел, булеан ?(A) деякої множини A та iн.

Бiльшiсть прикладних числень мiстить предикат рiвностi = i аксiоми, що його визначають. Наприклад, аксiомами для рiвностi можуть бути такi:

Безкоштовно скачати реферат "Застосування логiки предикатiв" в повному обсязі