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

Всього в базі: 75843
останнє поновлення: 2016-12-04
за 7 днів додано 15

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

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

 

ПОШУК:   

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

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

запеклий монархіст)).

 

Маючи істинну кон'юнкцію, можна визнати істинним будь-який з її членів.

 

Наприклад:

 

Якщо (р і q), то р. Якщо (р і а), то q.

 

Приймемо також до уваги теорему, відповідно до якої, разом із

визначенням істинності двох висловлень, визнають істинність їхньої

кон'юнкції, а саме:

 

Якщо р, то (якщо q, то (р і q)).

 

Надзвичайно важлива роль у приведених умовиводах належить

імплікації. Відомо, що більшість наукових законів мають форму

імплікацій. Характерним є й те, що багато рішень, які приймаються (у

тому числі й безвідповідальні), також виражаються у формі імплікацій.

 

Імплікації можуть бути як посилками умовиводів, так і висновками.

Тому в логічних міркуваннях надається велике значення таким теоремам,

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

висновки, котрі також є імплікаціями. Подібні теореми називаються

імплікативни-ми силогізмами.

 

Визнаючи за дві посилки дві імплікації (два імпліка-тивні висловлення) з

однією й тією самою умовою істинності, маємо як висновок імплікацію

(імплікативне висловлення) з тією самою умовою істинності. Крім того,

консеквент даної імплікації являтиме собою кон'юнкцію консеквентів обох

посилок. Відповідно за теорему логіки визнаємо такий вираз:

 

Закон імплікативного силогізму виражає властивість транзитивності

умовного висловлення.

 

У математиці транзитивність (лат. transitus — перехід) — це

властивість величин, яка полягає в тому, що якщо перша величина

порівнянна з другою, а друга — з третьою, то перша величина порівнянна з

третьою. Наприклад: якщо

 

х - у і у = z, то х = Z.

 

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

імплікативними силогізмами, а саме: Диз'юнкція, так само як і

кон'юнкція, є комутативною (переставною). Наприклад, якщо хто-небудь

стверджує, що «Паніковський — гусокрад або Паніковський не любить

гусячого м'яса», то так само правильним буде твердження «Паніковський не

любить гусячого м'яса або Паніковський — гусокрад». У такому випадку

перехід від одного висловлення до іншого здійснюється на підставі

теореми

 

Досить цінною теоремою, що характеризує диз'юнкцію, є така:

 

Еквіваленція також комутативна. Наприклад: Якщо (р тоді й тільки тоді,

коли q), то (q тоді й тільки тоді, коли р).Наведемо основну теорему, яка

характеризує еквіва-ленцію:У зв'язку з теоремою еквіваленції слід

зазначити, що в математиці й у математичній логіці часто трапляються

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

об'єктами. У математиці такими об'єктами є, наприклад, подібні

геометричні фігури, а в логіці — еквівалентні висловлення. Ці відношення

подібності називаються в математиці відношеннями еквівалентності, але їх

не можна плутати з відношеннями еквіваленції в логіці.

 

Для математичних відношень еквівалентності характерні певні

властивості:

 

1. Рефлексивність: кожний предмет еквівалентний самому собі (х= х).

 

2. Симетричність: якщо х еквівалентний у, то у еквівалентний х, тобто (х

-----> Page:

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

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