Зберегти прогрес
МОДУЛЬ 4. ЛОГІКА І ФАКТИ

Урок 1. Дедукція: висновок, що гарантований

✺ Розум⏱ ~10 хв✎ 3 завдання з автоперевіркою✓ безкоштовно

Метод Шерлока (насправді — не зовсім)

Метод Шерлока (насправді — не зовсім)

Дедукція — висновок від загального правила до конкретного випадку.

Правило: Усі метали проводять струм.
Факт: Мідь — метал.
Висновок: Мідь проводить струм.

Якщо правило й факт істинні, а міркування побудоване правильно — висновок гарантовано істинний. Так працює математика: теорема Піфагора доведена раз і назавжди.

Дві форми, які варто знати

●
Modus ponens: «Якщо A, то B. A є. Отже, B».
●
Modus tollens: «Якщо A, то B. B немає. Отже, A немає». Інженери так шукають несправності: «Якщо є живлення, світлодіод горить. Не горить → живлення немає (або світлодіод зламаний!)».

Пастка: підтвердження наслідку

«Якщо йде дощ, асфальт мокрий. Асфальт мокрий → отже, дощ». Хибно! Асфальт могли полити.

★ЦІКАВО
Цікаво: Шерлок Голмс насправді частіше робив індукцію чи «висновок до найкращого пояснення» — здогад за слідами. Про це наступний урок.
Перевір себе: 2 задачі з автоперевіркою і тренажер
Підказки після помилок, розбір кожної задачі, бали й звання. Безкоштовно, можна без реєстрації.
▶ Розв'язувати задачі