Дякуємо за Ваш відгук.

Логічні наслідки

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

У цьому розділі ми покажемо кілька типів логічних наслідків.

Ланцюжок наслідків

Щоразу, коли перший факт веде до другого, а другий веде до третього, тоді перший факт також веде до третього.

Приклади

З припущень «Щовівторка ми йдемо купатися» і «Якщо ми йдемо купатися, то йде дощ» можна зробити висновок, що дощ йде кожного вівторка.
З припущень «У всіх дияволів є роги» і «Якщо хтось має роги, то у нього є і хвіст» можна зробити висновок, що всі дияволи мають хвіст.
З припущень «Все, що зроблено з дерева, горить» і «Усі факели зроблені з дерева» можна зробити висновок, що всі факели горять.

Імплікація з правивою передумовою

Якщо ми маємо імплікацію, яка має дійсну передумову, то її висновок також має бути дійсним.

Приклади

З припущень «Щовівторка ми йдемо купатися» і «Сьогодні вівторок» ми можемо зробити висновок, що ми збираємося купатися сьогодні.
З припущень * «У всіх дияволів є роги»* і * «Я диявол»* ми можемо зробити висновок, що я маю роги.

###Імплікація з неправдивим висновком Якщо ми маємо імплікацію, яка має недійсний висновок, то її передумова не має виконуватися. Це стається тому, що якби передумова була істинною, то висновок також мав би бути істинним, що, як ми знаємо, не відповідає дійсності.

Приклади

З припущень «Ми йдемо купатися щовівторка» і «Ми сьогодні не ходимо купатися» можна зробити висновок, що сьогодні не може бути вівторок.
З припущень «У всіх дияволів є роги» і «У мене немає рогів» можна зробити висновок, що я не диявол.

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

Логічні наслідки

Ланцюжок наслідків

Імплікація з правивою передумовою

Дякуємо за ваше повідомлення, його було успішно відправлено.

Напишіть нам

Вам потрібна допомога?

Про що йдеться у повідомленні?