Відношення між висловлюваннями за логічним квадратом
А Е АЕ - Відношення протилежності (контрарності)
|
ІЕ - Відношення суперечності (контрадикторності)
АІ, ЕО - Відношення підпорядкування І О
Символічний запис складних висловлювань
Кон’юнкція |
і \ а \ та |
« ^» «&» |
Строга дизюнкція |
або…або \ чи…чи |
„┴” |
Слабка дизюнкція |
або \ чи |
«v» |
Імплікація |
якщо…то |
«→» |
Еквівалентність |
Якщо і тільки якщо … то… |
«≡» |
Заперечення |
Ні \ неправда, що \ неправильно, що |
«7» «~» |
Закони логіки
Закон несуперечності |
На протилежні думки (висловлювання) |
А-Е |
Закон виключеного третього |
На суперечливі думки (висловлювання) |
А-О Е-І |
Перетворення, обернення і протиставлення предикатові
Перетворення |
S є P |
Отже, - S не є не-P |
Обернення |
S є P |
Отже, v P є S |
Протиставлення |
S є P |
Отже, не-Р не є S |
Загальні правила категоричного силогізму та помилки при їх порушенні:
Правила термінів:
у простому категоричному силогізмі повинно бути три термін
середній термін повинен бути розподіленим хоча б в одному з засновків, тобто, взятий у повному обсязі
крайній термін, який не розподілений у засновках, не може бути розподілений у висновку
Простий категоричний силогізм:
S |
суб‘єкт ( напр. Петренко) |
Менший засновок |
P |
предикат (напр. – будь-який договір) |
Більший засновок |
M |
те, що повторюється |
Середній термін |
Фігури категоричного модусу:
|
|
|
|
Правильні модуси категоричного силогізму:
Перша фігура |
AAA |
AII |
EAE |
EIO |
|
|
Друга фігура |
AEE |
AOO |
EAE |
EIO |
|
|
Третя фігура |
AAI |
EAO |
IAI |
OAO |
AII |
EIO |
Четверта фігура |
AAI |
AEE |
EAO |
EIO |
IAI |
|
Види і поняття:
Кодекс |
Збірне |
Договір |
Загальне |
Правова норма |
Конкретне |
Людина і фіз.особа |
Тотожності |
Громадянин України |
Реєструюче |
Держ.право і право |
Підпорядкування |
Парламент |
Збірне |
Рання зірка і вечірня зірка |
Тотожність |
Аморальність |
Абстрактне |
Закон і не закон |
Суперечність |
Людина |
Конкретне |
Юрист і бізнесмен |
Перехрещення |
КСУ |
Одиничне |
Правопорушення і правоправна поведінка |
Підпорядкування |
Основні права людини |
Збірне |
Злочин і проступок |
Підпорядкування |
Об’єкт. юрид. право |
Співвідносне |
Республіка і держава |
Підпорядкування |
Юриспруденція |
Абстрактне |
Федерація і США |
Підпорядкування |
Держава |
Конкретне |
Місто і смт |
Підпорядкування |
Злочин |
Загальне |
Крадіжка і пограбування |
Протилежність |
Майно |
Конкретне |
Завдаток і застава |
Співпорядкування |
Талановита людина |
Конкретне |
Хабар і халатність |
Спів порядкування |
Талановитість |
Абстрактне, заг. |
Осудний і неосудний |
Суперечність |
Неосудність |
Абстрактне |
Революціонер і контрреволюціонер |
Протилежність |
Підлеглий |
Співвідносне |
Високий і низький |
Протилежність |
Боржник |
Конкретне |
Звичай і правовий звичай |
Підпорядкування |
Форма |
Співвідносне |
Політична партія |
Реєструюче |
Чисельник |
Співвідносне |
Бібліотека |
Збірне |
Мужність |
Абстрактне |
Осудність |
Позитивне |
Близький родич |
Реєструюче |
|
|
Проблема |
Абстрактне |
|
|
Крадіжка |
Конкретне |
|
|
структури умовиводу входять засновки – раніше відомі судження, на підставі яких робиться висновок; висновок – нове судження, отримане в результаті зіставлення засновків; вивід – логічний зв’язок між засновками та висновками.
1) Правила введення і усунення логічних постійних |
2) Види умовиводів логіки висловлювань |
А , В А ^ В |
А→В умовний В→С силогізм А→С |
А^В В^А А В |
-А→В А→В умовно- А 7В категоричний В 7А силогізм |
- Введення диз'юнкції (ВД) А В А v В А v В |
|
А ┴ В А ┴ В 7 А 7 В В А |
- А┴В А┴В розділово- 7А А категоричний В 7В силогізм |
А → В А → В А 7 В В 7 А |
- А→В С→В проста А v С конструктивна В дилема |
А→В В→А А ≡В |
- А→В А→С проста АvС деструктивна ВvD дилема |
- Усунення еквивалентності (УЕ) А ≡ В А ≡ В А → В В → А |
|
А 7 7 А |
- А→В А→С проста 7В v 7С деструктивна 7а дилема |
А |
- А→В С→D складна 7В v 7D деструктивна 7A v 7C ділема |