Deutsch English Français Italiano |
<17bfb4870c7ff390$7$4075406$802601b3@news.usenetexpress.com> View for Bookmarking (what is this?) Look up another Usenet article |
From: Farley Flud <ff@linux.rocks> Subject: Re: Why Python When There Is Perl? Newsgroups: comp.os.linux.advocacy References: <17be420c4f90bfc7$63225$1585792$802601b3@news.usenetexpress.com> <utd86u$1ipcj$1@solani.org> <17be75acfaf8f0f4$2017$3384359$802601b3@news.usenetexpress.com> <utfol0$1k8j7$1@solani.org> <17bebbae334656b9$74345$2906873$802601b3@news.usenetexpress.com> <utiopt$2i4i5$1@dont-email.me> <17bf321f9c15028e$2$2218499$802601b3@news.usenetexpress.com> <utlbto$38pmm$1@dont-email.me> <17bf5ce92e8c43b4$672$1351842$802601b3@news.usenetexpress.com> <utnk1l$1o32m$3@solani.org> <17bf8777050f5c1e$7$2218499$802601b3@news.usenetexpress.com> <uto07e$1oa9p$1@solani.org> <uto92s$1oeii$1@solani.org> <17bfb2b5c8fa9a1a$288$3037545$802601b3@news.usenetexpress.com> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Lines: 13 Path: ...!news.misty.com!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!feeder.usenetexpress.com!tr2.iad1.usenetexpress.com!news.usenetexpress.com!not-for-mail Date: Sun, 24 Mar 2024 12:54:35 +0000 Nntp-Posting-Date: Sun, 24 Mar 2024 12:54:35 +0000 X-Received-Bytes: 1343 Organization: UsenetExpress - www.usenetexpress.com X-Complaints-To: abuse@usenetexpress.com Message-Id: <17bfb4870c7ff390$7$4075406$802601b3@news.usenetexpress.com> Bytes: 1751 On Sun, 24 Mar 2024 12:21:17 +0000, Farley Flud wrote: >> But (A IMP B) doesn't commute. >> > > It does, in a sense. The "opposite" of A => B is ~B => ~A. > To generate even more confusion, check out the following article. Pay close attention to the "long" version: https://planetmath.org/logicalimplication