Path: ...!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 15:40:06 +0200
Organization: A noiseless patient Spider
Lines: 9
Message-ID: <t91qfn$1v7$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> <t912kc$th$1@dont-email.me>
 <t91dfb$7mi$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 13:40:07 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="b28b823a70e54c0cd44e72de883ae1f2";
	logging-data="2023"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/e5MPDiZvPHakMl0pr6MNFTEJFHPviQRw="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101
 Thunderbird/91.9.1
Cancel-Lock: sha1:9WXJNMFiyYzSO80yIvyOIM4yIoQ=
In-Reply-To: <t91dfb$7mi$1@ns507557.dodin.fr.nf>
Content-Language: fr
Bytes: 2288

Le 23/06/2022 à 11:58, Alf92 a écrit :
>> 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.

Je répète, les gens s'emmêlent le plus souvent les neurones quand ils 
considère ce que l'on peut inférer de la négation de A=>B.
Si A=>B on peut en déduire que non B => non A (et rien d'autre).