Sujet : Re: [HS] Essais à la tombée de la nuit!
De : alf921 (at) *nospam* gmail.com (Alf92)
Groupes : fr.rec.photoDate : 23. Jun 2022, 11:58:01
Autres entêtes
Organisation : Le serveur de jdd pour fr*
Message-ID : <t91dfb$7mi$1@ns507557.dodin.fr.nf>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
User-Agent : MesNews/1.08.06.00
PaulAubrin (le 23/06/2022 à 08:52:59) :
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).
je répète : ça tombe bien, ce n'est pas ce que j'ai écrit. tu peux
relire, c'est écrit juste au dessus.
ce qui m'interesse c'est : la contrainte motive ne veut pas dire que
l'abscence de contrainte démotive.
…