Логіка в класиці: висновки без прямого спостереження

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

Що таке логіка в грі

Логіка це здатність дійти висновку, не спостерігаючи його напряму. Побутовий приклад: якщо на столі немає хліба, а ви знаєте, що вчора він був і ніхто не виходив, ви робите висновок, що хліб з’їли, хоча не бачили, як це сталося. У мафії так само: ви не бачите чужих карт, але з кількості живих гравців, знайдених кольорів і результатів ночей можна зробити кілька надійних висновків.

Перший висновок: скільки чорних може бути за столом

Гра закінчується, коли чорних стає стільки ж, скільки червоних. Тому вранці (або вдень) за заданої кількості живих гравців кількість чорних обмежена.

• Ранок, за столом п’ятеро. Трьох чорних бути не може: за трьох чорних і двох червоних гра закінчилася б раніше. Отже, чорних щонайбільше двоє.
• За столом шестеро: чорних не більше двох, інакше було б троє проти трьох.
• За столом семеро: чорних не більше трьох, гра може тривати.

Цей простий розрахунок дає змогу одразу відкинути неможливі розклади й не витрачати на них час.

Другий висновок: факти та інтерпретації

Будь-яка версія будується з фактів та їхніх інтерпретацій.

• Факти. Хто що сказав, як проголосував, хто виставив, яку перевірку оголошено, кого вбили вночі.
• Інтерпретації. Що це означає: «виставив, щоб захистити партнера», «мовчав, бо боїться».

Факти можна перевірити, інтерпретації ні. Об’єктивне ми відокремлюємо від суб’єктивного, бо на суб’єктивне впливають когнітивні спотворення: симпатія, втома, бажання бути правим. Добра версія спирається на максимум фактів і чесно позначає інтерпретації як гіпотези.

Як будувати висновок крок за кроком

1. Випишіть відомі факти за колами.
2. Порахуйте, скільки червоних і чорних лишилося за формулою гри.
3. Запишіть, які кольори відомі й наскільки надійно.
4. Перевірте, які розклади неможливі за рахунком.
5. Серед можливих оберіть розклади з меншою кількістю припущень.

Приклад (складений для Академії)

Ранок, за столом шестеро. Відомо: знайдено одного чорного (він пішов на голосуванні), другий червоний за перевіркою шерифа вже вбитий. Скільки чорних за столом?

На початку було троє чорних. Одного виведено, отже лишилося двоє. Шестеро живих за двох чорних і чотирьох червоних: гра триває. Якби червоних було троє, а чорних троє, гра б закінчилася. Висновок: за столом рівно двоє чорних, і їх шукають серед шести гравців.

Тренування

1. П’ятеро живих, ранок. Скільки чорних може бути? Поясніть, чому не троє.
2. Семеро живих, знайдено одного чорного. Що ви знаєте про кількість чорних серед решти шістьох?
3. З будь-якого запису партії випишіть по п’ять фактів і п’ять інтерпретацій.

Типові помилки

• Видавати інтерпретацію за факт.
• Забувати перераховувати після кожного виходу.
• Вважати «логікою» здогад, за яким немає розрахунку.

Джерело ідеї. Розділ «Логіка в класиці» з книги Дмитра Новіка «50 відтінків червоного» (2021). Приклади, структура та вправи складені для Академії.