Логічні наслідки
Вибір
Ваша кількість відповідей на день обмежена. Для збільшення ліміту або отримати доступ до аккаунту з ліцензією, будь ласка, увійдіть в систему.
Увійти в систему
Логічні наслідки
Виведення логічних наслідків із припущень є дуже важливою навичкою. Йдеться не лише про сам висновок, а й про здатність розпізнати, чи випливає твердження з фактів, які ми знаємо.
У цьому розділі ми покажемо кілька типів логічних наслідків.
Ланцюжок наслідків
Щоразу, коли перший факт веде до другого, а другий веде до третього, тоді перший факт також веде до третього.
Приклади
- З припущень «Щовівторка ми йдемо купатися» і «Якщо ми йдемо купатися, то йде дощ» можна зробити висновок, що дощ йде кожного вівторка.
- З припущень «У всіх дияволів є роги» і «Якщо хтось має роги, то у нього є і хвіст» можна зробити висновок, що всі дияволи мають хвіст.
- З припущень «Все, що зроблено з дерева, горить» і «Усі факели зроблені з дерева» можна зробити висновок, що всі факели горять.
Імплікація з правивою передумовою
Якщо ми маємо імплікацію, яка має дійсну передумову, то її висновок також має бути дійсним.
Приклади
- З припущень «Щовівторка ми йдемо купатися» і «Сьогодні вівторок» ми можемо зробити висновок, що ми збираємося купатися сьогодні.
- З припущень * «У всіх дияволів є роги»* і * «Я диявол»* ми можемо зробити висновок, що я маю роги.
###Імплікація з неправдивим висновком Якщо ми маємо імплікацію, яка має недійсний висновок, то її передумова не має виконуватися. Це стається тому, що якби передумова була істинною, то висновок також мав би бути істинним, що, як ми знаємо, не відповідає дійсності.
Приклади
- З припущень «Ми йдемо купатися щовівторка» і «Ми сьогодні не ходимо купатися» можна зробити висновок, що сьогодні не може бути вівторок.
- З припущень «У всіх дияволів є роги» і «У мене немає рогів» можна зробити висновок, що я не диявол.
Логічні наслідки (важке)
Зараз ви можете ще раз пройти розв'язані завдання.
