Deutsch English Français Italiano |
<t14l3j$j0b$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
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