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

Всього в базі: 75883
останнє поновлення: 2016-12-30
за 7 днів додано 0

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

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

 

ПОШУК:   

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

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

ьке море)

 

і (Федір Микитович Хворобйов — запеклий монархіст)).

 

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

 

Наприклад:

 

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

 

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

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

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

 

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

 

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

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

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

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

 

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

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

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

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

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

 

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

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

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

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

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

 

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

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

 

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

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

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

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

 

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

 

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

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

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

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

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

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

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

теореми

 

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

 

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

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

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

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

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

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

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

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

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

 

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

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

 

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

 

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

-----> Page:

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

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