Застосування логiки предикатiв, Детальна інформація

Застосування логiки предикатiв
Тип документу: Реферат
Сторінок: 3
Предмет: Логіка
Автор: Олексій
Розмір: 14.3
Скачувань: 1817
Реферат на тему:

Застосування лог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:

E1. (x(x = x)

E2. (x = y)((F(x,x)(F(x,y)),

де F(x,y) отримано з F(x,x) шляхом замiни деяких (не обов’язково всiх) вoоджень x на y за умови, що y у цих входженнях також залишається вiльним.

Будь-яка теорiя, в якiй E1 i E2 є аксiомами або теоремами, називається теорiєю (або численням) з рiвнiстю.

З аксiом E1 i E2 неважко вивести теореми, що описують основнi властивостi рiвностi - рефлексивнiсть, симетричнiсть i транзитивнiсть:

(t (t = t)

(x = y)((y = x)

(x = y)(((y = z)((x = z)).

Аналогiчно можуть бути введенi три аксiоми, що задають бiльш загальний предикат - предикат еквiвалентностi E(x,y):

Q1. (xE(x,x)

Q2. (x(y(E(x,y)(E(y,x))

Q3. (x(y(z((E(x,y)(E(y,z))(E(x,y)).

Iншим прикладним численням є теорiя часткового порядку, яка мiстить три конкретнi аксiоми для предиката (:

O1. (x(x(x)

O2. (x(y(((x(y)((y(x))((x = y))

O3. (x(y(z((x(y)(((y(z)((x(z))).

Приєднавши до цих аксiом аксiому

O4. (x(y((x(y)((y(x)((x = y)),

дiстанемо теорiю лiнiйного (строгого) порядку.

Ще одна аксiома (аксiома щiльностi)

O5. (x(y((x(y)((z((x(z)((z(y)))

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

Найбiльш дослiдженою на сьогоднi формальною теорiєю, яка вiдiграє визначальну роль для аналiзу проблеми обгрунтування засад математики, є так звана формальна арифметика [.......].

У формальнiй арифметицi використовують три функцiональнi букви +, (, (. Є також одна предикатна буква - символ бiнарного предиката рiвностi  =  i одна предметна константа 0.

The online video editor trusted by teams to make professional video in minutes