Re: Démo 3=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?

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