Sujet : Re: Démo 3=0
De : python (at) *nospam* example.invalid (Python)
Groupes : fr.sci.mathsDate : 17. Mar 2022, 16:43:54
Autres entêtes
Organisation : Aioe.org NNTP Server
Message-ID : <t0vhf8$1la0$1@gioia.aioe.org>
References : 1 2 3 4 5
User-Agent : Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:91.0) Gecko/20100101 Thunderbird/91.7.0
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?
En logique intuitionniste non : l'implication n'y est pas exprimable
comme une disjonction.
Démo 3=0
Re: Démo 3=0