Path: ...!weretis.net!feeder8.news.weretis.net!pasdenom.info!from-devjntp
Message-ID: <jC-IM1ofp_oUNkdoiFEK78rr7Ag@jntp>
JNTP-Route: news2.nemoweb.net
JNTP-DataType: Article
Subject: Re: =?UTF-8?Q?D=C3=A9mo=20=33=3D=30?=
References: <JcjsJQA-3cf6TO8LUk3pGa3hhAg@jntp> <t0nh6b$apu$1@dont-email.me> <t0nneg$mnh$1@gioia.aioe.org>
 <t0v6mm$kb1$1@dont-email.me>
Newsgroups: fr.sci.maths
JNTP-HashClient: 1nrqC-r-Qz9E1bg07HvTRO7Urto
JNTP-ThreadID: 8KSpdXEKF5Cy88c7DCErDTexfPM
JNTP-Uri: http://news2.nemoweb.net/?DataID=jC-IM1ofp_oUNkdoiFEK78rr7Ag@jntp
User-Agent: Nemo/0.999a
JNTP-OriginServer: news2.nemoweb.net
Date: Thu, 17 Mar 22 14:34:45 +0000
Organization: Nemoweb
JNTP-Browser: Mozilla/5.0 (Linux; Android 11; SM-T290) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/99.0.4844.58 Safari/537.36
Injection-Info: news2.nemoweb.net; posting-host="095f3744c0ffd4df4f350c9c40c789002c6e538a"; logging-data="2022-03-17T14:34:45Z/6714730"; posting-account="142@news2.nemoweb.net"; mail-complaints-to="newsmaster@news2.nemoweb.net"
JNTP-ProtocolVersion: 0.21.1
JNTP-Server: PhpNemoServer/0.94.5
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-JNTP-JsonNewsGateway: 0.96
From: Samuel DEVULDER <samuel.devulder@laposte.net.invalid>
Bytes: 1961
Lines: 21

Le 17/03/2022 à 12:40, Joe Cool a écrit :

> 
> Certes, mais le tiers exclu est réductible à la loi de Pierce:
> 
> ((A -> B) -> A) -> A
> 
> Mince, plus de négation !

Euh, un doute Massaï (il vient d’Afrique) : P->Q est équivalent à 
(non-P ou Q), et alors la formule supra est juste bourré de négations 
cachées, non?

((A -> B) -> A) -> A
((non(A) ou B)->A)->A
(Non(non(A) ou B) ou A)->A
Non(Non(non(A) ou B) ou A) ou A

AHAH! Nom de nom! Voilà trois nons qui tombent. 

Sam.oO(c’est qui la balance qui donne des nons?).