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