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

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

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

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

 

ПОШУК:   

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

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

Реферат на тему:

 

Судження

 

Формалізації суджень та її значення для інтенсифікації логічного

аналізу даних по справі.

 

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

штучної мови логіки – символів.

 

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

аналізу логічної структури складних висловлювань. Вона характеризується

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

визначенням формули. Мова логіки висловлювань включає: алфавіт,

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

 

Список знакових засобів мови логіки висловлювань включає такі знаки:

 

1. Знаки змінних логіки висловлювань:

 

p, q, r, s, p1, q1, r1, s1…

 

Ці знаки служать для позначення простих висловлювань природної мови. У

звязку з цим їх ще називають пропозиційними змінними.

 

Знаки логічних сполучників:

 

~ - знак заперечення (читається: ”не”, ”невірно, що…”);

 

^ - знак конюнкції (читається: “…і…”);

 

v - знак дизюнкції (читається: “…або…”);

 

( - знак імплікації (читається: “якщо…,тоді…”).

 

Технічні знаки:

 

( - ліва дужка;

 

) – права дужка;

 

, - кома.

 

Ці знаки в мові логіки висловлювань виконують роль знаків пунктуації

природної мови. Ніяких інших знаків у мові логіки висловлювань немає.

 

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

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

прослідковувати зв’язки між поняттями, явищами, уподобивши словесні

судження до математичних формул. За допомогою символів можна краще

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

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

різноманітних даних, це спрощує розгляд версії та доведення гіпотез.

 

СТИСЛИЙ СПИСОК ЛОГІЧНИХ СИМВОЛІВ

 

у символічній (математичній) логіці

 

а ? b; a ? b; a & b; “а і b” Кон’юнкція

 

а V b; “а або b” Диз’юнкція

 

а ( b; а ( b; “а імплікує b”, “якщо а, то b” Імплікація

 

а ( b; а ( b; а ( b; “а еквівалентно b”,

 

“а, якщо і тільки якщо b” Еквіваленція

 

( а; “не-а” Заперечення

 

(( х), “існує х, яке...” Квантор існування

 

(( х), “для всіх х” Квантор спільності

 

a, b, c, ..., p, q... Логічні змінні

 

 

 

ЗАДАЧІ

 

1. Визначте тип відношення між поняттями і зобразіть його за допомогою

колових схем: галузь права, адміністративне право, кримінальне право.

 

Слід зазначити, що в логічних відношеннях можуть знаходитися тільки

порівнювані поняття. Порівнювані поняття бувають сумісними і

несумісними.

 

У запропоновану прикладі маємо один з видів несумісності: спів

підпорядкування (координація). У відношенні співпідпорядкування

(координації) знаходяться два неперехрещуваних поняття “адміністративне

право” і “кримінальне право”, які підпорядковані загальному для них

поняттю “галузь права”.

 

Схематично дане відношення між запропонованими поняттями можна

зобразити наступним чином за допомогою кілець Ейлера:

 

 

де А – “галузь права”;

 

В – “адміністративне право”;

 

С – “кримінальне право”.

 

2. Дати аналіз дефініції (визначити, чи правильна вона, коли ні – то яке

-----> Page:

0 [1] [2] [3] [4]

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