Sujet : Re: [HS] Essais à la tombée de la nuit!
De : paul.aubrin (at) *nospam* invalid.org (PaulAubrin)
Groupes : fr.rec.photoDate : 23. Jun 2022, 08:52:59
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <t912kc$th$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
User-Agent : Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.9.1
Le 22/06/2022 à 18:33, Alf92 a écrit :
PaulAubrin (le 22/06/2022 à 17:59:20) :
Le 22/06/2022 à 15:50, Alf92 a écrit :
A implique B ne veut pas dire non A implique non B.
en clair : la contrainte motive ne veut pas dire que l'abscence de
contrainte démotive.
>
A implique B est strictement équivalent à non B implique non A.
ça tombe bien, ce n'est pas ce que j'ai écrit.
et donc ?
non B implique non A est la "déduction correcte" qui on considère les négation des propositions A et B (de A => B).