Path: ...!weretis.net!feeder6.news.weretis.net!i2pn.org!dodin.fr.nf!.POSTED.aamiens-652-1-142-107.w90-7.abo.wanadoo.fr!not-for-mail From: Alf92 Newsgroups: fr.rec.photo Subject: Re: =?ISO-8859-15?Q?[HS]_Essais_=E0_la_tomb=E9e_de_la_nuit!?= Date: Thu, 23 Jun 2022 11:58:01 +0200 Organization: Le serveur de jdd pour fr* Message-ID: References: <62ae06aa$0$22256$426a74cc@news.free.fr> <62ae1b45$0$22080$426a74cc@news.free.fr> <62aed096$0$2993$426a74cc@news.free.fr> <62b00c90$0$2992$426a74cc@news.free.fr> <62b01e06$0$9155$426a74cc@news.free.fr> NNTP-Posting-Host: c3066ed76bae8bcc0e476efb157ff758 Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-15" Content-Transfer-Encoding: 8bit Injection-Date: Thu, 23 Jun 2022 09:58:03 -0000 (UTC) Injection-Info: ns507557.dodin.fr.nf; posting-host="aamiens-652-1-142-107.w90-7.abo.wanadoo.fr:90.7.197.107"; logging-data="7890"; mail-complaints-to="abuse" X-Newsreader: MesNews/1.08.06.00 Bytes: 2374 Lines: 21 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.