А шутка состоит в том, что логики понимают вопрос бармена не в обычном бытовом смысле, как просьбу каждому сообщить, будет ли он лично пить пиво, а как логическую функцию от трёх аргументов, значение которой надо найти или указать, что оно неопределённое. Это конъюнкция, если один из аргументов "ложь", результат "ложь", если "истина", то результат зависит от прочих аргументов. Поэтому первый, желая пить, не может сказать "да", поскольку не знает мнения прочих, как и второй. Но если бы кто-то из них отказывался бы, ответ был бы "нет", поэтому третий уверен, что первые двое пиво будут, как и он, и значение функции "истина". Если бы вопрос бармена звучал (что в бытовом смысле то же, что он спросил) "Кто-то пиво будет?", то ответы были бы "да", "да", "да", но поскольку при обычном понимании вопроса ответы были бы те же, шутка не была бы замечена.
|