TextBook Правила висновку логіки висловлювань бувають основні та похідні.
Це правило - основне_
Отже, це правило не похідне.
Логічна структура цього міркування має такий вигляд:
Приклад міркування за правилом введення еквіваленції:
Якщо суд визнає вину обвинувачуваного, то він мав на це достатні підстави.
Якщо суд має достатні підстави щодо визнання вини обвинувачуваного, то він визнає його винним.
Отже, якщо і тільки якщо суд визнав вину обвинувачуваного, то він мав на це достатні підстави.
Як уже зазначалося, окрім наведених основних прямих правил висновку логіки висловлювань існують і основні непрямі. До них відносяться:
а) правило введення імплікації,
б) правило введення заперечення.
Розглянемо правило введення імплікації: Правило введення імплікації (ВІ):
Це правило використовується у тих вивідних процесах, коли для отримання висновку ми звертаємося до припущень, які полегшують процедуру виведення. Його можна сформулювати так: "Якщо із засновків П і з припущення А випливає В, то можна стверджувати вивідність із цих засновків А ^В".
І. Якщо в діях обвинувачуваного не має складу злочину,
то суд його виправдає.
Суд визнав обвинувачуваного винним.
В діях обвинувачуваного немає складу злочину.
Суд визнав обвинувачуваного невинним.
Отже, невірно, що в діях обвинувачуваного
немає складу злочину.
Сторінки
В нашій електронній бібліотеці ви можете безкоштовно і без реєстрації прочитати «Логіка» автора Невідомо на телефоні, Android, iPhone, iPads. Зараз ви знаходитесь в розділі „Розділ Х. Умовивід“ на сторінці 4. Приємного читання.