This HTML5 document contains 45 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n17http://g.co/kg/m/
dbpedia-ruhttp://ru.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
n12http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n14http://ma-graph.org/entity/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Paradoxe_du_buveur
rdfs:label
Paradoxo do bêbado Paradoxe du buveur Парадокс пьяницы Drinker paradox
rdfs:comment
Le paradoxe du buveur (aussi connu comme le théorème du buveur, le principe du buveur) est un théorème de logique mathématique (prédicat) qui peut être énoncé ainsi : « Dans toute pièce non vide, il existe une personne ayant la propriété : Si cette personne boit, tout le monde dans la pièce boit. » Il a été popularisé par le mathématicien logicien Raymond Smullyan, qui l'a appelé le drinking principle dans son livre de 1978 What Is the Name of This Book?. La déclaration formelle du théorème est : où D est un prédicat arbitraire et P est un ensemble non vide arbitraire. (∃x Px ⇒ A) ⇔ ∀x (Px ⇒ A)
owl:sameAs
dbr:Drinker_paradox dbpedia-zh:饮者悖论 dbpedia-ru:Парадокс_пьяницы wikidata:Q5307716 n14:2780590779 dbpedia-pt:Paradoxo_do_bêbado n17:0d2rl3
dbo:wikiPageID
11456497
dbo:wikiPageRevisionID
190292255
dbo:wikiPageWikiLink
dbpedia-fr:Logique_classique dbpedia-fr:Paradoxe dbpedia-fr:Implication_(logique) dbpedia-fr:Liste_de_paradoxes dbpedia-fr:Cum_hoc_ergo_propter_hoc dbpedia-fr:Principe_d'explosion dbpedia-fr:Raisonnement_automatisé dbpedia-fr:Prédicat_(logique_mathématique) dbpedia-fr:Raymond_Smullyan dbpedia-fr:Logique_mathématique dbpedia-fr:Logique_intuitionniste dbpedia-fr:Antécédent_(logique) dbpedia-fr:Henk_Barendregt dbpedia-fr:Logique_temporelle category-fr:Paradoxe_en_mathématiques dbpedia-fr:Principe_du_tiers_exclu dbpedia-fr:Jean-Louis_Krivine dbpedia-fr:Théorème dbpedia-fr:Langage_naturel dbpedia-fr:Assistant_de_preuve
dbo:wikiPageLength
7447
dct:subject
category-fr:Paradoxe_en_mathématiques
prop-fr:wikiPageUsesTemplate
n12:Énoncé n12:Refsou n12:Citation n12:Portail n12:Langue n12:Références
prov:wasDerivedFrom
wikipedia-fr:Paradoxe_du_buveur?oldid=190292255&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Paradoxe_du_buveur
dbo:abstract
Le paradoxe du buveur (aussi connu comme le théorème du buveur, le principe du buveur) est un théorème de logique mathématique (prédicat) qui peut être énoncé ainsi : « Dans toute pièce non vide, il existe une personne ayant la propriété : Si cette personne boit, tout le monde dans la pièce boit. » Il a été popularisé par le mathématicien logicien Raymond Smullyan, qui l'a appelé le drinking principle dans son livre de 1978 What Is the Name of This Book?. La nature apparemment paradoxale de l'énoncé tient à la façon dont il est habituellement formulé en langage naturel. Il semble contre-intuitif à 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 été la dernière à boire. La première objection vient de la confusion entre les énoncés formels « si alors » et la causalité (voir corrélation n'implique pas de lien de causalité ou logique de pertinence pour les logiques qui exigent des relations pertinentes entre prémisse et conséquences, contrairement à la logique classique présumée ici). L'énoncé formel du théorème est intemporel, éliminant la deuxième objection parce que la personne qui rend l'énoncé vrai à un instant n'est pas nécessairement la même personne à un autre instant. La déclaration formelle du théorème est : où D est un prédicat arbitraire et P est un ensemble non vide arbitraire. Ceci découle de la formule valide du calcul des prédicats : (∃x Px ⇒ A) ⇔ ∀x (Px ⇒ A)