Re: Démo 3=0

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?
((A -> B) -> A) -> A
((non(A) ou B)->A)->A
(Non(non(A) ou B) ou A)->A
Non(Non(non(A) ou B) ou A) ou A
AHAH! Nom de nom! Voilà trois nons qui tombent. Sam.oO(c’est qui la balance qui donne des nons?).