Ошибка в вопросе

Вопрос 30: [Ведущему: не акцентировать внимание команда на кавычках в вопросе.]
    ЧАрльзу ПЕтцольду не нравится известный пример. По его мнению, использование бУлевой алгебры здесь излишне, ведь ОН сам, можно сказать, «привёл доказательство» уже почти две с половиной тысячи лет назад. Назовите ЕГО имя.

Ответ: Сократ.

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

Источник(и): Ч. Петцольд, «Код: тайный язык информатики»

Автор: Владимир Осипчук