Deutsch English Français Italiano |
<t0vhf8$1la0$1@gioia.aioe.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!2.eu.feeder.erje.net!feeder.erje.net!news2.arglkargh.de!news.mixmin.net!aioe.org!7a25jG6pUKCqa0zKnKnvdg.user.46.165.242.75.POSTED!not-for-mail From: Python <python@example.invalid> Newsgroups: fr.sci.maths Subject: =?UTF-8?B?UmU6IETDqW1vIDM9MA==?= Date: Thu, 17 Mar 2022 15:43:54 +0100 Organization: Aioe.org NNTP Server Message-ID: <t0vhf8$1la0$1@gioia.aioe.org> References: <JcjsJQA-3cf6TO8LUk3pGa3hhAg@jntp> <t0nh6b$apu$1@dont-email.me> <t0nneg$mnh$1@gioia.aioe.org> <t0v6mm$kb1$1@dont-email.me> <jC-IM1ofp_oUNkdoiFEK78rr7Ag@jntp> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: gioia.aioe.org; logging-data="54592"; posting-host="7a25jG6pUKCqa0zKnKnvdg.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org"; User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:91.0) Gecko/20100101 Thunderbird/91.7.0 X-Notice: Filtered by postfilter v. 0.9.2 Content-Language: fr Bytes: 1543 Lines: 17 Le 17/03/2022 à 15:34, Samuel DEVULDER a écrit : > 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? En logique intuitionniste non : l'implication n'y est pas exprimable comme une disjonction.