Судження

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

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

а  b; а  b; а  b; “а еквівалентно b”,

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

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

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

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

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

ЗАДАЧІ

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

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

У запропоновану прикладі маємо один з видів несумісності: спів підпорядкування (координація). У відношенні співпідпорядкування (координації) знаходяться два неперехрещуваних поняття “адміністративне право” і “кримінальне право”, які підпорядковані загальному для них поняттю “галузь права”.

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

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

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

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

2. Дати аналіз дефініції (визначити, чи правильна вона, коли ні – то яке правило порушено): “Слідчий – представник органів міліції, який провадить слідство і має відповідні права”.

Дефініцією (або визначенням) називається логічна операція, яка розкриває зміст поняття.

Дефініція має бути не тільки істинною по змісту, але й правильною по своїй будові, по формі. Тому існують наступні правила дефініції:

1)визначення повинне бути чітким;

2)дефініція повинна бути співрозмірною;

3)не повинна містити в собі кола;

4)визначення не повинне бути заперечувальним.