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

Вероятностная логика: сколько верить источнику

senior~30 мин

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

Зоя Марковна Полозова · «Сплетница», колонка «Портовые слухи»

Смотритель телеграфирует: «у маяка туман». Тридцать лет он сообщает о тумане, и почти всегда туман был. Но бывало, что он видел дым с лесопилки. А туман у маяка не всегда задерживает «Онегу»: капитан опытный. Мне нужно одно число: насколько вероятно, что «Онега» опоздает, если смотритель сообщил туман. И способ получить это число, который я смогу проверить.

Значения «истина», «ложь», «оба» и «ничего» из прошлого урока говорят, что сказали источники, но не говорят, кому из них верить. А Полозова верит не одинаково: смотрителю почти всегда, конторе через раз. Это доверие надо выразить числом, и числа должны слушаться законов, иначе газета будет врать в арифметике вместо логики.

Сегодня формулы получат вероятности. Окажется, что для этого почти ничего нового не нужно: хватит таблиц истинности из урока 03 и одного нового действия, деления.

урок из курса

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

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