UkrReferat.com
найбільша колекція україномовних рефератів

Всього в базі: 75855
останнє поновлення: 2016-12-09
за 7 днів додано 22

Реферати на українській
Реферати на російській
Українські підручники

$ Робота на замовлення
Реклама на сайті
Зворотній зв'язок

 

ПОШУК:   

реферати, курсові, дипломні:

Українські рефератиРусские рефератыКниги
НазваКласична логіка предикатів (реферат)
Автор
РозділЛогіка, формальна логіка, юридична логіка
ФорматWord Doc
Тип документуРеферат
Продивилось12557
Скачало1186
Опис
ЗАКАЧКА
Замовити оригінальну роботу

ний х, тобто (х

= у) —>((/= х).

 

3. Транзитивність: якщо х еквівалентний у, а у еквіва- І

 

; лентний z, то х еквівалентний z, тобто ((х= у) & (у= z)) —> |\

 

Відношення еквівалентності можна виразити формулами логіки

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

симетричність і транзитивність. Готові результати будуть такими:

 

Згідно з цим правилом, якщо певний індивід множини має якусь

властивість, то можна зробити висновок, що існує хоча б один індивід,

якому ця властивість притаманна.

 

На відміну від логічних законів, які імперативно вимагають, щоб

висновок був завжди істинним, логічні правила менш жорсткі. Вони надають

можливість визнавати за істинні нові висловлення залежно від того, який

вигляд мають висловлення-посилки, вже визнані за істинні.

 

Одним з основних правил умовиводу є вже знайоме правило

відокремлення («modus ponens»), яке говорить, що умовивід є правильним,

якщо з двох істинних посилок маємо істинний висновок. Більш строго це

правило читається так: якщо істинна якась імплікація й істинна її умова,

то має бути істинним і її висновок. Розглянемо приклад.

 

Вище наведено схему правильного умовиводу в тому Розумінні, що,

підставляючи замість літер р і q конкретні висловлення, матимемо в

результаті правильний умовивід, тобто правильність умовиводу з логічних

міркувань полягає в тому, що до уваги береться тільки форма наявних у

ньому посилок, абстрагуючись від їх змісту.

 

Повертаючись до питання про загальнозначущість еквіваленції,

зазначимо, що еквіваленція в логіці предикатів так само, як і в логіці

висловлень, тільки тоді буде загальнозначущою, коли значення істинності

її членів за однакових значень їхніх змінних збігаються:

 

Зауважимо, що в логіці предикатів не існує такого простого способу

розв'язування умовиводів, як таблиці істинності в логіці висловлень.

Більше того, взагалі немає способу, який можна було б сміливо

використовувати для розв'язання будь-яких виразів логіки предикатів.

Зазвичай розв'язуваний вираз намагаються звести до виразу логіки

висловлень.

 

Однією з цікавих проблем логіки предикатів є проблема

аксіоматизації, що упирається у проблему вирішення. Як відомо, проблема

вирішення полягає у пошуку способу, за допомогою якого скінченним числом

кроків можна вирішити, яким є логічний вираз — загальнозна-чущим,

виконуваним чи

 

суперечним. Одним із видів процедури вирішення у логіці висловлень є

таблиці істинності.

 

Якщо для якоїсь області логічних побудов не існує процедури

вирішення, то зазвичай намагаються з'ясувати, чи є дані вирази

загальнозначущими. При цьому враховують, що кожний Вираз, виведений із

загальнозначущого виразу, сам є загальнозначущим. Таким чином, якщо із

загальнозначущих виразів удається вивести за допомогою відповідних

перетворень, додержуючись правил виводу, розв'язний вираз, то можна з

повним правом вважати, що знайдено індивідуальне доведення для даного

виразу. Проте на практиці знайти таке доведення для будь-якого виразу

часто буває дуже й дуже важко, оскільки тут багато що залежить від

-----> Page:

[0] [1] [2] [3] [4] [5] [6] [7] 8 [9]

ЗАМОВИТИ ОРИГІНАЛЬНУ РОБОТУ