— Благодарю вас, свидетель свободен. Ваша Истинность, к доказательству прилагается вещественное доказательство — книга, испачканная кровью жертвы, с отпечатками пальцев обвиняемого.
— Истину говорите.
— Итак, мы доказали, что дружба между Третьяковым, Маркиным и Корнеевой, а также брак между Маркиным и Корнеевой привели к мотиву мести со стороны Третьякова к Маркину. Свойство мстительности усиливается профессиональными разногласиями между обвиняемым и убитым. Добавив в формулу условие нахождения Третьякова на месте преступления в совокупности с истинностью фактов наличия пятен крови на его руках и отпечатков пальцев на орудии убийства, приходим к логическому выводу о существовании и единственности убийцы, которым, следовательно, является Третьяков. Доказана истинность формулы «Убийца существует и единственен, и Третьяков принадлежит к множеству подозреваемых в убийстве». Отсюда следует, что корнем уравнения УБИЙСТВО (х, М) является Т. Убийца — профессор Третьяков. Теорема Виновности доказана.
— Спасибо, Прокурор. Есть ли вопросы у ученого совета присяжных?
— Нет, ваша Истинность.
— Доказательство теоремы 1 означает невозможность доказательства теоремы 2. На этом заседание суда объявляется…
— Возражаю, ваша Истинность!
— Адвокат Галушкин? Вам есть что добавить?
— Простите, ваша Истинность. Я осмелюсь обратить внимание уважаемого суда на область определения предиката УБИЙСТВО. В случаях, если смерть наступила от естественных причин, данный предикат не определен, а множество подозреваемых является пустым.
— Протест принят. Готов ли адвокат предъявить доказательство Теоремы Невиновности?
— Да, ваша Истинность. Вот, я тут набросал чертеж. Высота стремянки. Вес погибшего. Траектория падения со ступеньки. Вес монографии Клини «Введение в метаматематику». Смотрите, тут все рассчитано! Маркин вполне мог оступиться, пытаясь дотянуться до книги с верхней полки, упасть, разбить затылок, а потом на него сверху падает тяжеленная книга. Третьяков бросается на помощь, отбрасывает в сторону упавшие книги, оставляя на них отпечатки, пытается поднять своего коллегу… Да, у них имели место конфликты и несовпадение точек зрения, но оба они являлись уважаемыми профессорами, не совершившими ни одного антиобщественного проступка. Мне кажется, это доказывает…
— Адвокат, вы не на собрании физического кружка. Вы можете построить логическое доказательство сказанного вами?
— Я… Я попытаюсь… Но разве не очевидно, ваша Истинность, что…
— Адвокат Галушкин, вам прекрасно известно, что мое личное мнение ничего не означает. Доказательство теорем Виновности или Невиновности должно быть выполнено в рамках классической математической логики. Любая попытка нарушения может привести к прецеденту, ложному высказыванию в будущих доказательствах, и приведет всю систему к противоречию. Вы знаете, что это означает?
— Да, ваша Истинность. Из лжи следует все что угодно.
— Именно, адвокат! Отпущенные на свободу преступники. Невинно осужденные граждане. Утрата доверия общества к системе правосудия. Волна самосудов. Сядьте и потрудитесь подготовить логическое опровержение Теоремы 1.
— Но мне недостаточно данных о произошедшем в библиотеке, ваша Истинность. Я предлагаю суду заслушать показания обвиняемого.
— Какой в этом смысл? Парадокс лжеца показывает, что показаниям обвиняемых нельзя доверять!
— Мне это известно, ваша Истинность, но его показания могут натолкнуть как меня, так и уважаемого прокурора на логические выводы, которые мы могли упустить.
— Что ж… Хотя обычно это и не практикуется, но в ситуации, когда оба доказательства неполны, мы можем пригласить Обвиняемого для дачи показаний. Адвокат, задавайте ваши вопросы.