Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Joe Cool <zierouhli@free.fr>
Newsgroups: fr.sci.maths
Subject: =?UTF-8?B?UmU6IETDqW1vIDM9MA==?=
Date: Sat, 19 Mar 2022 14:14:39 +0100
Organization: A noiseless patient Spider
Lines: 23
Message-ID: <t14l3j$j0b$1@dont-email.me>
References: <JcjsJQA-3cf6TO8LUk3pGa3hhAg@jntp> <t0nh6b$apu$1@dont-email.me>
 <t0nneg$mnh$1@gioia.aioe.org> <t0v6mm$kb1$1@dont-email.me>
 <jC-IM1ofp_oUNkdoiFEK78rr7Ag@jntp>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 19 Mar 2022 13:16:35 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="449ff442939823c2d70763df6de0ddb2";
	logging-data="19467"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+TULSwEcxww0JhBTe351Dk"
Cancel-Lock: sha1:lqHQV23XjMkbdUcGaOuaQpe44KE=
In-Reply-To: <jC-IM1ofp_oUNkdoiFEK78rr7Ag@jntp>
Content-Language: fr
Bytes: 1842

Le 17/03/2022 à 15:34, Samuel DEVULDER a écrit :
> Le 17/03/2022 à 12:40, Joe Cool a écrit :
>> Certes, mais le tiers exclu est réductible à la loi de Pierce:
>>
>> ((A -> B) -> A) -> A
>>
>> Mince, plus de négation !
> 
> Euh, un doute Massaï (il vient d’Afrique) : P->Q est équivalent à 
> (non-P ou Q), et alors la formule supra est juste bourré de négations 
> cachées, non?

Encore un bel exemple de l'incurie que je dénonce.

«P->Q» n'est équivalent à «¬P\/Q» que dans le cadre classique.

Leçon 1: les mathématiques classiques ne remplissent pas l'ensemble des
mathématiques.

Exercice 1: dérivez «P->Q |- ¬P\/Q» dans le calcul des séquents LJ.

-- 
Joe Cool