Path: ...!1.us.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!fdn.fr!proxad.net!feeder1-2.proxad.net!cleanfeed3-b.proxad.net!nnrp6-1.free.fr!not-for-mail
Date: Fri, 25 Aug 2023 23:04:11 +0200
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
 Thunderbird/102.14.0
Subject: =?UTF-8?Q?Re=3a_=c3=87a_tiens_la_route_sur_le_plan_de_la_logique_?=
 =?UTF-8?Q?=3f?=
Content-Language: fr
References: <64e7270e$0$7449$426a74cc@news.free.fr>
 <64e86d2f$0$7471$426a74cc@news.free.fr>
 <64e878ed$0$7757$426a34cc@news.free.fr>
Newsgroups: fr.sci.maths
From: Samuel Devulder <samuel.devulder@laposte.net.inalid>
In-Reply-To: <64e878ed$0$7757$426a34cc@news.free.fr>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Antivirus: Avast (VPS 230825-4, 25/8/2023), Outbound message
X-Antivirus-Status: Clean
Lines: 16
Message-ID: <64e9174b$0$7514$426a74cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 25 Aug 2023 23:04:12 CEST
NNTP-Posting-Host: 88.167.72.245
X-Trace: 1692997452 news-1.free.fr 7514 88.167.72.245:32184
X-Complaints-To: abuse@proxad.net
Bytes: 1583

Le 25/08/2023 à 11:48, Bienvenu a écrit :

> *croire* c'est affirmer pour vrai une chose que on n'a pas vérifier

Propriété P

> *ne pas croire* c'est

non P.

> affirmer pour faux une chose que on n'a pas vérifier

Ah ben non. Pourquoi n'est-ce pas "non P" ? C'est illogique.

Le grand retour de l'axiome PT (Purée Totale) sans doute.