Path: ...!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!usenet-fr.net!.POSTED!not-for-mail
From: Olivier Miakinen <om+news@miakinen.net>
Newsgroups: fr.sci.maths
Subject: Re: Le paradoxe du buveur
Date: Thu, 9 Jun 2022 13:17:08 +0200
Organization: There's no cabale
Lines: 41
Message-ID: <t7skrk$r9q$1@cabale.usenet-fr.net>
References: <62a1d1c6$0$24782$426a74cc@news.free.fr>
NNTP-Posting-Host: 220.12.205.77.rev.sfr.net
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-15
Content-Transfer-Encoding: 8bit
X-Trace: cabale.usenet-fr.net 1654773428 27962 77.205.12.220 (9 Jun 2022 11:17:08 GMT)
X-Complaints-To: abuse@usenet-fr.net
NNTP-Posting-Date: Thu, 9 Jun 2022 11:17:08 +0000 (UTC)
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Firefox/52.0 SeaMonkey/2.49.4
In-Reply-To: <62a1d1c6$0$24782$426a74cc@news.free.fr>
Bytes: 2219

Le 09/06/2022 12:56, ast a écrit :
> Il s'énonce ainsi:
> 
> Dans un bar, il existe une personne telle que, si cette
> personne boit alors tout le monde dans le bar boit.
> 
> Mathématiquement c'est vrai
> 
> 
> - S'il existe une personne qui n'est pas en train de boire,
> alors cette personne convient et l'implication:
> 
> "si cette personne boit alors tout le monde dans le bar boit"
> 
> est vraie car le premier membre est faux
> 
> 
> - et si tout le monde boit, alors l'implication est trivialement
> vraie
> 
> 
> Mais en français, dans le langage courant, cette affirmation
> n'a aucun sens. Etes vous d'accord avec moi ?

La difficulté vient que la notion de temps n'est pas explicitée, alors
qu'elle est implicite dans la compréhension « naturelle » de la phrase.

La phrase vraie est :
 « À tout moment, il existe une personne telle que si cette personne
   boit alors tout le monde boit. »

La phrase comprise implicitement (et fausse) est :
 « Il existe une personne telle que, à tout moment, si cette personne
   boit alors tout le monde boit. »

Une remarque quand même : la première phrase aussi peut être fausse, et
c'est lorsque le bar est vide.


-- 
Olivier Miakinen