Re: Démo 3=0

Liste des GroupesRevenir à fs maths 
Sujet : Re: Démo 3=0
De : samuel.devulder (at) *nospam* laposte.net.invalid (Samuel DEVULDER)
Groupes : fr.sci.maths
Date : 17. Mar 2022, 16:34:45
Autres entêtes
Organisation : Nemoweb
Message-ID : <jC-IM1ofp_oUNkdoiFEK78rr7Ag@jntp>
References : 1 2 3 4
User-Agent : Nemo/0.999a
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?).

Date Sujet#  Auteur
10 Mar 22 * Démo 3=043Julien Arlandis
10 Mar 22 +* Re: Démo 3=02Python
11 Mar 22 i`- Re: Démo 3=01Stéphane CARPENTIER
10 Mar 22 +* Re: Démo 3=08pehache
10 Mar 22 i`* Re: Démo 3=07Julien Arlandis
11 Mar 22 i +* Re: Démo 3=02pehache
11 Mar 22 i i`- Re: Démo 3=01MAIxxxx
11 Mar 22 i `* Re: Démo 3=04robby
12 Mar 22 i  `* Re: Démo 3=03robby
12 Mar 22 i   `* Re: Démo 3=02Richard Hachel
12 Mar 22 i    `- Re: Démo 3=01Python
10 Mar 22 +* Re: Démo 3=03HB
11 Mar 22 i`* Re: Démo 3=02HB
11 Mar 22 i `- Re: Démo 3=01pehache
11 Mar 22 +- Re: Démo 3=01ast
11 Mar 22 +* Re: Démo 3=02Richard Hachel
11 Mar 22 i`- Re: Démo 3=01Python
14 Mar 22 +* Re: Démo 3=024Joe Cool
14 Mar 22 i+- Re: Démo 3=01Samuel DEVULDER
14 Mar 22 i`* Re: Démo 3=022Python
17 Mar 22 i `* Re: Démo 3=021Joe Cool
17 Mar 22 i  +* Re: Démo 3=07Python
17 Mar 22 i  i+* Re: Démo 3=02Richard Hachel
17 Mar 22 i  ii`- Re: Démo 3=01Python
19 Mar 22 i  i`* Re: Démo 3=04Joe Cool
19 Mar 22 i  i `* Re: Démo 3=03Python
20 Mar 22 i  i  `* Re: Démo 3=02Joe Cool
20 Mar 22 i  i   `- Re: Démo 3=01Python
17 Mar 22 i  `* Re: Démo 3=013Samuel DEVULDER
17 Mar 22 i   +- Re: Démo 3=01Python
19 Mar 22 i   `* Re: Démo 3=011Joe Cool
20 Mar 22 i    `* Re: Démo 3=010Samuel DEVULDER
23 Mar 22 i     `* Re: Démo 3=09Joe Cool
23 Mar 22 i      `* Re: Démo 3=08Samuel DEVULDER
23 Mar 22 i       `* Re: Démo 3=07Joe Cool
23 Mar 22 i        `* Re: Démo 3=06Samuel DEVULDER
23 Mar 22 i         `* Re: Démo 3=05Joe Cool
24 Mar 22 i          `* Re: Démo 3=04Samuel DEVULDER
24 Mar 22 i           `* Re: Démo 3=03Joe Cool
24 Mar 22 i            `* Re: Démo 3=02Samuel DEVULDER
26 Mar 22 i             `- Re: Démo 3=01MAIxxxx
20 Mar 22 `* Re: Démo 3=02MAIxxxx
20 Mar 22  `- Re: Démo 3=01MAIxxxx

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal