Равносильные формулы

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

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

Пересказ опасен тем, что звучит похоже. Слова те же, «не» на месте, Данила на месте. Но в суде протокол читают буквально, и одна сдвинутая частица может превратить лжеца в честного свидетеля.

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