Раздел 44 · Логика и типы

Таблицы истинности

junior~20 мин

без входаВойди, чтобы отмечать прогресс, вести заметки и решать задачи в редакторе. войти

Агата Сомова · старший инспектор, Седьмой отдел

Помнишь Ара у ворот? Ты разобрал два случая в голове и угадал. А если свидетелей трое и каждый говорит про двух других? Вариантов восемь. На пятерых их тридцать два. Сколько из них ты пропустишь, если будешь перебирать в уме?

В уроке 01 ты решил первое учебное дело перебором: предположил, что Ар правдивый, дошёл до противоречия, потом предположил обратное. Два случая уместились в голове. Но число случаев растёт быстро, и рано или поздно один из них потеряется. Потерянный случай в суде это проигранное дело.

Сегодня перебор станет механическим: строка за строкой, столбец за столбцом, без догадок. Инструмент называется таблицей истинности. С ним ты научишься отвечать на три вопроса: может ли показание быть правдой, может ли оно быть ложью и следует ли вывод Вельского из того, что он говорит.

урок из курса

Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.

Оплата пока не подключена: премиум и курсы открываются промокодом.