Path: ...!news.mixmin.net!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: PaulAubrin <paul.aubrin@invalid.org>
Newsgroups: fr.rec.photo
Subject: =?UTF-8?Q?Re=3a_=5bHS=5d_Essais_=c3=a0_la_tomb=c3=a9e_de_la_nuit!?=
Date: Thu, 23 Jun 2022 08:52:59 +0200
Organization: A noiseless patient Spider
Lines: 15
Message-ID: <t912kc$th$1@dont-email.me>
References: <62ae06aa$0$22256$426a74cc@news.free.fr>
 <t8l2io$ldl$1@dont-email.me> <62ae1b45$0$22080$426a74cc@news.free.fr>
 <t8lde1$hgs$1@ns507557.dodin.fr.nf> <62aed096$0$2993$426a74cc@news.free.fr>
 <t8n1gh$33f$1@ns507557.dodin.fr.nf> <t8nk1a$9uq$1@dont-email.me>
 <t8o7nh$7oc$1@gioia.aioe.org> <62b00c90$0$2992$426a74cc@news.free.fr>
 <62b01e06$0$9155$426a74cc@news.free.fr> <t8p8it$ci8$1@dont-email.me>
 <t8palh$bjn$1@gioia.aioe.org> <t8r120$7dh$1@ns507557.dodin.fr.nf>
 <t8v0o1$ks7$1@ns507557.dodin.fr.nf> <t8v5cn$dpc$1@dont-email.me>
 <t8v6ni$mbb$1@ns507557.dodin.fr.nf> <t8ve8o$tui$2@dont-email.me>
 <t8vg8m$ot0$1@ns507557.dodin.fr.nf>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 23 Jun 2022 06:53:00 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="b28b823a70e54c0cd44e72de883ae1f2";
	logging-data="945"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/YJqDe2yOT2AebbXmXd8LqO3EsBZ29Foc="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101
 Thunderbird/91.9.1
Cancel-Lock: sha1:moWwCJbSj4jEN1MK4HFfLhJPWg4=
In-Reply-To: <t8vg8m$ot0$1@ns507557.dodin.fr.nf>
Content-Language: fr
Bytes: 2290

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).