"O paradoxo do b\u00EAbado (drinker paradox), tamb\u00E9m conhecido como princ\u00EDpio do b\u00EAbado (drinker's principle), \u00E9 um teorema da L\u00F3gica cl\u00E1ssica de predicados normalmente exposto, em linguagem natural, como:Existe algu\u00E9m no bar, tal que, se ele estiver bebendo, todos estar\u00E3o bebendo. Parece contraintuitivo que 1) haja uma pessoa que est\u00E1 causando aos outros que bebam, ou 2) haja uma pessoa que a noite inteira seja sempre a \u00FAltima a beber. A primeira obje\u00E7\u00E3o vem de se confundir os enunciados formais SE\u2026ENT\u00C3O com causalidade (veja que correla\u00E7\u00E3o n\u00E3o implica causalidade). O enunciado formal do teorema \u00E9 atemporal, eliminando a segunda obje\u00E7\u00E3o porque a pessoa para a qual o enunciado se verifica em um instante n\u00E3o \u00E9 necessariamente a mesma pessoa para a qual ele se verifica para qualquer outro instant"@pt . . . "5102797"^^ . . . "1124501615"^^ . "\u996E\u8005\u6096\u8BBA\uFF08\u4E5F\u88AB\u79F0\u4E3A\u996E\u8005\u5B9A\u7406\uFF0C\u996E\u8005\u539F\u7406\uFF0C\u6216\u996E\u9152\u539F\u7406\uFF09\u662F\u7ECF\u5178\u8C13\u8BCD\u903B\u8F91\u7684\u4E00\u4E2A\u5B9A\u7406\u3002\u5B83\u5B9E\u9645\u4E0A\u5E76\u4E0D\u662F\u4E00\u4E2A\u6096\u8BBA\u3002\u5B83\u7684\u660E\u663E\u7684\u77DB\u76FE\u7684\u6027\u8D28\u6765\u81EA\u4E8E\u5B83\u901A\u5E38\u7684\u5728\u81EA\u7136\u8BED\u8A00\u4E2D\u7684\u8868\u8FF0\uFF1A\u5728\u9152\u5427\u88E1\u4F1A\u6709\u4E00\u4E2A\u4EBA\uFF0C\u5BF9\u4E8E\u8FD9\u4E2A\u4EBA\uFF0C\u5982\u679C\u4ED6\u5728\u559D\u9152\uFF0C\u90A3\u4E48\u6240\u6709\u5728\u9152\u5427\u88E1\u7684\u4EBA\u90FD\u5728\u559D\u9152\u3002 \u6709\u4E24\u70B9\u770B\u8D77\u6765\u662F\u53CD\u76F4\u89C9\u7684 1) \u8FD9\u91CC\u9762\u6709\u4E00\u4E2A\u4EBA\uFF0C\u4ED6\u4F1A\u5F15\u8D77\u5176\u4ED6\u4EBA\u559D\u9152\u30022\uFF09\u8FD9\u91CC\u6709\u4E00\u4E2A\u4EBA\uFF0C\u4E00\u6574\u591C\u4ED6\u90FD\u662F\u6700\u540E\u4E00\u4E2A\u559D\u9152\u7684\u3002\u7B2C\u4E00\u4E2A\u53CD\u5BF9\u7684\u7406\u7531\u662F\u7531\u4E8E\u6DF7\u6DC6\u4E86\u5F62\u5F0F\u7684 IF...THEN \u9648\u8FF0\u4E0E\u56E0\u679C\u5173\u7CFB\uFF08\u89C1\u76F8\u5173\u4E0D\u8574\u6DB5\u56E0\u679C\uFF09\u3002\u5B9A\u7406\u7684\u5F62\u5F0F\u5316\u9648\u8FF0\u662F\u4E0D\u53D7\u65F6\u95F4\u9650\u5236\u7684\uFF0C\u6211\u4EEC\u53EF\u4EE5\u6D88\u9664\u7B2C\u4E8C\u4E2A\u53CD\u5BF9\u7406\u7531\u662F\u56E0\u4E3A\uFF0C\u5728\u4E00\u4E2A\u65F6\u523B\u4F7F\u5F97\u9648\u8FF0\u6210\u7ACB\u7684\u90A3\u4E2A\u7279\u522B\u7684\u4EBA\uFF08\u89C1\u8BC1\u8005\uFF09\uFF0C\u5E76\u4E0D\u9700\u8981\u4E0E\u5728\u4EFB\u4F55\u5176\u5B83\u65F6\u523B\u4F7F\u5F97\u9648\u8FF0\u6210\u7ACB\u7684\u90A3\u4E2A\u4EBA\u662F\u540C\u4E00\u4E2A\u4EBA\u3002\u5B9E\u9645\u7684\u5B9A\u7406\u662F \u5176\u4E2D D \u662F\u4E00\u4E2A\u4EFB\u610F\u7684\uFF0CP\u662F\u4E00\u4E2A\u4EFB\u610F\u7684\u96C6\u5408\u3002\u8FD9\u4E2A\u6096\u8BBA\u662F\u56E0\u6570\u7406\u903B\u8F91\u5B66\u5BB6\u96F7\u8499\u00B7\u601D\u6728\u91CC\u5B89\u800C\u5E7F\u4E3A\u4EBA\u77E5\u7684\u3002\u96F7\u8499\u00B7\u601D\u6728\u91CC\u5B89\u5728\u4ED6 1978 \u5E74\u51FA\u7248\u7684\u4E66 What is the Name of this Book? \u4E2D\u79F0\u5B83\u4E3A \u201C\u996E\u9152\u539F\u7406\u201D\u3002"@zh . . . . . . . . . . . "\u041F\u0430\u0440\u0430\u0434\u043E\u043A\u0441 \u043F\u044C\u044F\u043D\u0438\u0446\u044B [1] \u2014 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043D\u0438\u0435, \u043A\u043E\u0442\u043E\u0440\u043E\u0435 \u0433\u043B\u0430\u0441\u0438\u0442, \u0447\u0442\u043E \u0432 \u043B\u044E\u0431\u043E\u043C \u043F\u0438\u0442\u0435\u0439\u043D\u043E\u043C \u0437\u0430\u0432\u0435\u0434\u0435\u043D\u0438\u0438 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u043F\u043E \u043A\u0440\u0430\u0439\u043D\u0435\u0439 \u043C\u0435\u0440\u0435 \u043E\u0434\u0438\u043D \u0442\u0430\u043A\u043E\u0439 \u0447\u0435\u043B\u043E\u0432\u0435\u043A, \u043A\u043E\u0442\u043E\u0440\u044B\u0439 \u0435\u0441\u043B\u0438 \u043F\u044C\u0451\u0442, \u0442\u043E \u043F\u044C\u044E\u0442 \u0432\u0441\u0435. \u042D\u0442\u043E \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043D\u0438\u0435, \u0441\u0444\u043E\u0440\u043C\u0443\u043B\u0438\u0440\u043E\u0432\u0430\u043D\u043D\u043E\u0435 \u0432 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0435, \u043E\u043A\u0430\u0437\u044B\u0432\u0430\u0435\u0442\u0441\u044F \u0432\u0435\u0440\u043D\u044B\u043C. \u041F\u0430\u0440\u0430\u0434\u043E\u043A\u0441 \u0431\u044B\u043B \u043E\u043F\u0438\u0441\u0430\u043D \u0430\u043C\u0435\u0440\u0438\u043A\u0430\u043D\u0441\u043A\u0438\u043C \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u043E\u043C \u0420\u044D\u0439\u043C\u043E\u043D\u0434\u043E\u043C \u0421\u043C\u0430\u043B\u043B\u0438\u0430\u043D\u043E\u043C \u0432 \u043A\u043D\u0438\u0433\u0435 \"\u041A\u0430\u043A \u0436\u0435 \u043D\u0430\u0437\u044B\u0432\u0430\u0435\u0442\u0441\u044F \u044D\u0442\u0430 \u043A\u043D\u0438\u0433\u0430\"."@ru . . . "Le paradoxe du buveur (aussi connu comme le th\u00E9or\u00E8me du buveur, le principe du buveur) est un th\u00E9or\u00E8me de logique math\u00E9matique (pr\u00E9dicat) qui peut \u00EAtre \u00E9nonc\u00E9 ainsi : \u00AB Dans toute pi\u00E8ce non vide, il existe une personne ayant la propri\u00E9t\u00E9 : Si cette personne boit, tout le monde dans la pi\u00E8ce boit. \u00BB Il a \u00E9t\u00E9 popularis\u00E9 par le math\u00E9maticien logicien Raymond Smullyan, qui l'a appel\u00E9 le drinking principle dans son livre de 1978 What Is the Name of This Book?. La nature apparemment paradoxale de l'\u00E9nonc\u00E9 tient \u00E0 la fa\u00E7on dont il est habituellement formul\u00E9 en langage naturel. Il semble contre-intuitif \u00E0 la fois qu'il pourrait y avoir une personne qui fait boire les autres, ou qu'il pourrait y avoir une personne telle que, tout au long de la nuit, cette personne a toujours \u00E9t\u00E9 la derni\u00E8re \u00E0 boire. La premi\u00E8re objection vient de la confusion entre les \u00E9nonc\u00E9s formels \u00AB si alors \u00BB et la causalit\u00E9 (voir corr\u00E9lation n'implique pas de lien de causalit\u00E9 ou logique de pertinence pour les logiques qui exigent des relations pertinentes entre pr\u00E9misse et cons\u00E9quences, contrairement \u00E0 la logique classique pr\u00E9sum\u00E9e ici). L'\u00E9nonc\u00E9 formel du th\u00E9or\u00E8me est intemporel, \u00E9liminant la deuxi\u00E8me objection parce que la personne qui rend l'\u00E9nonc\u00E9 vrai \u00E0 un instant n'est pas n\u00E9cessairement la m\u00EAme personne \u00E0 un autre instant. La d\u00E9claration formelle du th\u00E9or\u00E8me est : o\u00F9 D est un pr\u00E9dicat arbitraire et P est un ensemble non vide arbitraire. Ceci d\u00E9coule de la formule valide du calcul des pr\u00E9dicats : (\u2203x Px \u21D2 A) \u21D4 \u2200x (Px \u21D2 A)"@fr . . . . . . . . . . . . . . . "\u041F\u0430\u0440\u0430\u0434\u043E\u043A\u0441 \u043F\u044C\u044F\u043D\u0438\u0446\u044B"@ru . . . . . . . "\u041F\u0430\u0440\u0430\u0434\u043E\u043A\u0441 \u043F\u044C\u044F\u043D\u0438\u0446\u044B [1] \u2014 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043D\u0438\u0435, \u043A\u043E\u0442\u043E\u0440\u043E\u0435 \u0433\u043B\u0430\u0441\u0438\u0442, \u0447\u0442\u043E \u0432 \u043B\u044E\u0431\u043E\u043C \u043F\u0438\u0442\u0435\u0439\u043D\u043E\u043C \u0437\u0430\u0432\u0435\u0434\u0435\u043D\u0438\u0438 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u043F\u043E \u043A\u0440\u0430\u0439\u043D\u0435\u0439 \u043C\u0435\u0440\u0435 \u043E\u0434\u0438\u043D \u0442\u0430\u043A\u043E\u0439 \u0447\u0435\u043B\u043E\u0432\u0435\u043A, \u043A\u043E\u0442\u043E\u0440\u044B\u0439 \u0435\u0441\u043B\u0438 \u043F\u044C\u0451\u0442, \u0442\u043E \u043F\u044C\u044E\u0442 \u0432\u0441\u0435. \u042D\u0442\u043E \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043D\u0438\u0435, \u0441\u0444\u043E\u0440\u043C\u0443\u043B\u0438\u0440\u043E\u0432\u0430\u043D\u043D\u043E\u0435 \u0432 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0435, \u043E\u043A\u0430\u0437\u044B\u0432\u0430\u0435\u0442\u0441\u044F \u0432\u0435\u0440\u043D\u044B\u043C. \u041F\u0430\u0440\u0430\u0434\u043E\u043A\u0441 \u0431\u044B\u043B \u043E\u043F\u0438\u0441\u0430\u043D \u0430\u043C\u0435\u0440\u0438\u043A\u0430\u043D\u0441\u043A\u0438\u043C \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u043E\u043C \u0420\u044D\u0439\u043C\u043E\u043D\u0434\u043E\u043C \u0421\u043C\u0430\u043B\u043B\u0438\u0430\u043D\u043E\u043C \u0432 \u043A\u043D\u0438\u0433\u0435 \"\u041A\u0430\u043A \u0436\u0435 \u043D\u0430\u0437\u044B\u0432\u0430\u0435\u0442\u0441\u044F \u044D\u0442\u0430 \u043A\u043D\u0438\u0433\u0430\"."@ru . . "The drinker paradox (also known as the drinker's theorem, the drinker's principle, or the drinking principle) is a theorem of classical predicate logic that can be stated as \"There is someone in the pub such that, if he or she is drinking, then everyone in the pub is drinking.\" It was popularised by the mathematical logician Raymond Smullyan, who called it the \"drinking principle\" in his 1978 book What Is the Name of this Book? The formal statement of the theorem is where D is an arbitrary predicate and P is an arbitrary nonempty set."@en . "O paradoxo do b\u00EAbado (drinker paradox), tamb\u00E9m conhecido como princ\u00EDpio do b\u00EAbado (drinker's principle), \u00E9 um teorema da L\u00F3gica cl\u00E1ssica de predicados normalmente exposto, em linguagem natural, como:Existe algu\u00E9m no bar, tal que, se ele estiver bebendo, todos estar\u00E3o bebendo. Parece contraintuitivo que 1) haja uma pessoa que est\u00E1 causando aos outros que bebam, ou 2) haja uma pessoa que a noite inteira seja sempre a \u00FAltima a beber. A primeira obje\u00E7\u00E3o vem de se confundir os enunciados formais SE\u2026ENT\u00C3O com causalidade (veja que correla\u00E7\u00E3o n\u00E3o implica causalidade). O enunciado formal do teorema \u00E9 atemporal, eliminando a segunda obje\u00E7\u00E3o porque a pessoa para a qual o enunciado se verifica em um instante n\u00E3o \u00E9 necessariamente a mesma pessoa para a qual ele se verifica para qualquer outro instante.O teorema na verdade \u00E9 o seguinte: onde D \u00E9 um predicado arbitr\u00E1rio e P \u00E9 um conjunto arbitr\u00E1rio. O paradoxo foi popularizado pelo l\u00F3gico matem\u00E1tico Raymond Smullyan, que o chamou de \"princ\u00EDpio do b\u00EAbado\" em seu livro de 1978, What Is the Name of this Book? (Em Portugu\u00EAs: \u201CQual \u00E9 o nome deste livro?\u201D)."@pt . "Paradoxe du buveur"@fr . . "7306"^^ . . . . "The drinker paradox (also known as the drinker's theorem, the drinker's principle, or the drinking principle) is a theorem of classical predicate logic that can be stated as \"There is someone in the pub such that, if he or she is drinking, then everyone in the pub is drinking.\" It was popularised by the mathematical logician Raymond Smullyan, who called it the \"drinking principle\" in his 1978 book What Is the Name of this Book? The apparently paradoxical nature of the statement comes from the way it is usually stated in natural language. It seems counterintuitive both that there could be a person who is causing the others to drink, or that there could be a person such that all through the night that one person were always the last to drink. The first objection comes from confusing formal \"if then\" statements with causation (see Correlation does not imply causation or Relevance logic for logics that demand relevant relationships between premise and consequent, unlike classical logic assumed here). The formal statement of the theorem is timeless, eliminating the second objection because the person the statement holds true for at one instant is not necessarily the same person it holds true for at any other instant. The formal statement of the theorem is where D is an arbitrary predicate and P is an arbitrary nonempty set."@en . . "\u996E\u8005\u6096\u8BBA"@zh . . "\u996E\u8005\u6096\u8BBA\uFF08\u4E5F\u88AB\u79F0\u4E3A\u996E\u8005\u5B9A\u7406\uFF0C\u996E\u8005\u539F\u7406\uFF0C\u6216\u996E\u9152\u539F\u7406\uFF09\u662F\u7ECF\u5178\u8C13\u8BCD\u903B\u8F91\u7684\u4E00\u4E2A\u5B9A\u7406\u3002\u5B83\u5B9E\u9645\u4E0A\u5E76\u4E0D\u662F\u4E00\u4E2A\u6096\u8BBA\u3002\u5B83\u7684\u660E\u663E\u7684\u77DB\u76FE\u7684\u6027\u8D28\u6765\u81EA\u4E8E\u5B83\u901A\u5E38\u7684\u5728\u81EA\u7136\u8BED\u8A00\u4E2D\u7684\u8868\u8FF0\uFF1A\u5728\u9152\u5427\u88E1\u4F1A\u6709\u4E00\u4E2A\u4EBA\uFF0C\u5BF9\u4E8E\u8FD9\u4E2A\u4EBA\uFF0C\u5982\u679C\u4ED6\u5728\u559D\u9152\uFF0C\u90A3\u4E48\u6240\u6709\u5728\u9152\u5427\u88E1\u7684\u4EBA\u90FD\u5728\u559D\u9152\u3002 \u6709\u4E24\u70B9\u770B\u8D77\u6765\u662F\u53CD\u76F4\u89C9\u7684 1) \u8FD9\u91CC\u9762\u6709\u4E00\u4E2A\u4EBA\uFF0C\u4ED6\u4F1A\u5F15\u8D77\u5176\u4ED6\u4EBA\u559D\u9152\u30022\uFF09\u8FD9\u91CC\u6709\u4E00\u4E2A\u4EBA\uFF0C\u4E00\u6574\u591C\u4ED6\u90FD\u662F\u6700\u540E\u4E00\u4E2A\u559D\u9152\u7684\u3002\u7B2C\u4E00\u4E2A\u53CD\u5BF9\u7684\u7406\u7531\u662F\u7531\u4E8E\u6DF7\u6DC6\u4E86\u5F62\u5F0F\u7684 IF...THEN \u9648\u8FF0\u4E0E\u56E0\u679C\u5173\u7CFB\uFF08\u89C1\u76F8\u5173\u4E0D\u8574\u6DB5\u56E0\u679C\uFF09\u3002\u5B9A\u7406\u7684\u5F62\u5F0F\u5316\u9648\u8FF0\u662F\u4E0D\u53D7\u65F6\u95F4\u9650\u5236\u7684\uFF0C\u6211\u4EEC\u53EF\u4EE5\u6D88\u9664\u7B2C\u4E8C\u4E2A\u53CD\u5BF9\u7406\u7531\u662F\u56E0\u4E3A\uFF0C\u5728\u4E00\u4E2A\u65F6\u523B\u4F7F\u5F97\u9648\u8FF0\u6210\u7ACB\u7684\u90A3\u4E2A\u7279\u522B\u7684\u4EBA\uFF08\u89C1\u8BC1\u8005\uFF09\uFF0C\u5E76\u4E0D\u9700\u8981\u4E0E\u5728\u4EFB\u4F55\u5176\u5B83\u65F6\u523B\u4F7F\u5F97\u9648\u8FF0\u6210\u7ACB\u7684\u90A3\u4E2A\u4EBA\u662F\u540C\u4E00\u4E2A\u4EBA\u3002\u5B9E\u9645\u7684\u5B9A\u7406\u662F \u5176\u4E2D D \u662F\u4E00\u4E2A\u4EFB\u610F\u7684\uFF0CP\u662F\u4E00\u4E2A\u4EFB\u610F\u7684\u96C6\u5408\u3002\u8FD9\u4E2A\u6096\u8BBA\u662F\u56E0\u6570\u7406\u903B\u8F91\u5B66\u5BB6\u96F7\u8499\u00B7\u601D\u6728\u91CC\u5B89\u800C\u5E7F\u4E3A\u4EBA\u77E5\u7684\u3002\u96F7\u8499\u00B7\u601D\u6728\u91CC\u5B89\u5728\u4ED6 1978 \u5E74\u51FA\u7248\u7684\u4E66 What is the Name of this Book? \u4E2D\u79F0\u5B83\u4E3A \u201C\u996E\u9152\u539F\u7406\u201D\u3002"@zh . . "Paradoxo do b\u00EAbado"@pt . "Drinker paradox"@en . . . . "Le paradoxe du buveur (aussi connu comme le th\u00E9or\u00E8me du buveur, le principe du buveur) est un th\u00E9or\u00E8me de logique math\u00E9matique (pr\u00E9dicat) qui peut \u00EAtre \u00E9nonc\u00E9 ainsi : \u00AB Dans toute pi\u00E8ce non vide, il existe une personne ayant la propri\u00E9t\u00E9 : Si cette personne boit, tout le monde dans la pi\u00E8ce boit. \u00BB Il a \u00E9t\u00E9 popularis\u00E9 par le math\u00E9maticien logicien Raymond Smullyan, qui l'a appel\u00E9 le drinking principle dans son livre de 1978 What Is the Name of This Book?. La d\u00E9claration formelle du th\u00E9or\u00E8me est : o\u00F9 D est un pr\u00E9dicat arbitraire et P est un ensemble non vide arbitraire. (\u2203x Px \u21D2 A) \u21D4 \u2200x (Px \u21D2 A)"@fr . .