Path: ...!weretis.net!feeder6.news.weretis.net!feeder8.news.weretis.net!news.trigofacile.com!usenet-fr.net!agneau.org!nntpfeed.proxad.net!proxad.net!feeder1-1.proxad.net!cleanfeed3-a.proxad.net!nnrp1-2.free.fr!not-for-mail
From: Thomas Alexandre <none@no.invalid>
Subject: Re: =?iso-8859-1?Q?Incoh=E9rence=2C?= Hypocrisie ou
 =?iso-8859-1?Q?incomp=E9tence?= technique ?
Newsgroups: fr.sci.maths
References: <sot54i$o4f$1@shakotay.alphanet.ch> <spdrm1$lop$1@dont-email.me>
	<spdt5s$2st$2@gioia.aioe.org> <spf4il$75t$1@dont-email.me>
	<spg05o$191t$1@gioia.aioe.org> <spg21i$ped$1@dont-email.me>
	<spg4ch$1d7e$1@gioia.aioe.org> <spg518$fdi$1@dont-email.me>
	<sphfkf$b8c$1@gioia.aioe.org> <sphpgc$oi6$1@dont-email.me>
	<sphrf2$1sbm$1@gioia.aioe.org> <sphrkp$4kq$1@dont-email.me>
	<spi3d8$1jkq$1@gioia.aioe.org> <spiaq5$663$1@dont-email.me>
	<spj5ei$5kt$1@gioia.aioe.org> <spk735$nkr$1@dont-email.me>
	<spkbm7$42u$1@gioia.aioe.org> <61c03280$0$8913$426a74cc@news.free.fr>
	<61c07a82$0$29505$426a74cc@news.free.fr> <sppu7p$lvf$1@dont-email.me>
	<sppvpn$1jlm$2@gioia.aioe.org> <spqh98$arh$1@dont-email.me>
	<spqm4v$1u9g$1@gioia.aioe.org> <spqnn0$ucj$1@dont-email.me>
	<spqo33$t3t$1@gioia.aioe.org> <spqqgl$hvj$1@dont-email.me>
	<spqsqp$13f8$1@gioia.aioe.org> <spqt5h$4do$1@dont-email.me>
	<spr1ih$12j6$2@gioia.aioe.org> <spsp5i$u6$1@dont-email.me>
User-Agent: Pan/0.147 (Sweet Solitude; 0049344 gitlab.gnome.org/GNOME/pan.git)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Date: 22 Dec 2021 09:59:14 GMT
Lines: 48
Message-ID: <61c2f6f2$0$1347$426a74cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 22 Dec 2021 10:59:14 CET
NNTP-Posting-Host: 78.196.238.42
X-Trace: 1640167154 news-2.free.fr 1347 78.196.238.42:57122
X-Complaints-To: abuse@proxad.net
Bytes: 3287

Le Tue, 21 Dec 2021 14:42:59 +0000, Le Loup Blanc de Usenet a écrit :

> Le 20 décembre 2021 à 23:54, Samuel DEVULDER a écrit :
>> Le 20/12/2021 à 22:38, Le Loup Blanc de Usenet a écrit :
>>> tu crois tout traduire par les mathématique ?
>>
>> Sur un forum de maths, c'est un peu le but non ?

> tu ne comprend pas

Ok, je vous le détaille :

∀p    "pour toute proposition logique p" 
      "si"
¬𝓑p  "je ne crois pas p"
→     "alors"
𝓑¬p  "je crois non(p)"

C'est bien ce que vous affirmez.

Formellement ça donne donc : ∀p , ¬𝓑p → 𝓑¬p

qui est strictement équivalent à

∄p / ¬𝓑p ∧ ¬𝓑¬p

que je vous détaille aussi :

∄p    "il N'existe AUCUNE proposition logique p"
/     "telle que"
¬𝓑p  "je ne crois pas p"
∧        "et"
¬𝓑¬p "je ne crois pas non(p)"

Vous avez donc un avis sur tout (y compris sur ce que vous ignorez) et 
vous exigez que tout le monde ait un avis sur tout (y compris sur ce que 
tout le monde ignore).

C'est ça que vous affirmez.

Et c'est intenable.


-- 
"Ce qu'il faut au fond pour obtenir une espèce de paix avec les hommes,
(...) c'est leur permettre en toutes circonstances, de s'étaler, de se
vautrer parmi les vantardises niaises. Il n'y a pas de vanité
intelligente. C'est un instinct." - Céline