Path: ...!news.mixmin.net!proxad.net!feeder1-2.proxad.net!cleanfeed3-b.proxad.net!nnrp5-1.free.fr!not-for-mail
Date: Thu, 9 Jun 2022 12:56:05 +0200
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; rv:91.0) Gecko/20100101
 Thunderbird/91.9.1
Newsgroups: fr.sci.maths
Content-Language: fr
From: ast <ast@invalid>
Subject: Le paradoxe du buveur
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Lines: 22
Message-ID: <62a1d1c6$0$24782$426a74cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 09 Jun 2022 12:56:06 CEST
NNTP-Posting-Host: 91.170.32.5
X-Trace: 1654772166 news-1.free.fr 24782 91.170.32.5:10310
X-Complaints-To: abuse@proxad.net
Bytes: 1395

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 ?