X-Received: by 2002:a05:622a:1827:b0:403:dfde:6c32 with SMTP id t39-20020a05622a182700b00403dfde6c32mr1388qtc.13.1689898437784;
        Thu, 20 Jul 2023 17:13:57 -0700 (PDT)
X-Received: by 2002:a05:6830:1416:b0:6b9:99ab:7f25 with SMTP id
 v22-20020a056830141600b006b999ab7f25mr594369otp.6.1689898437491; Thu, 20 Jul
 2023 17:13:57 -0700 (PDT)
Path: ...!news.misty.com!1.us.feeder.erje.net!feeder.erje.net!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.logic
Date: Thu, 20 Jul 2023 17:13:57 -0700 (PDT)
In-Reply-To: <u9cd5n$2tbrr$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=163.182.226.42; posting-account=OWfgwwgAAADQpH2XgMDMe2wuQ7OFPXlE
NNTP-Posting-Host: 163.182.226.42
References: <u9cd5n$2tbrr$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <13d5feea-2af4-4c26-ace0-ce7c2f6edeb2n@googlegroups.com>
Subject: Re: Material implication sustains the non-sequitur fallacy
From: Dan Christensen <Dan_Christensen@sympatico.ca>
Injection-Date: Fri, 21 Jul 2023 00:13:57 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1956
Bytes: 2204
Lines: 21

On Thursday, July 20, 2023 at 6:41:02=E2=80=AFPM UTC-4, olcott wrote:
> *Material implication sustains the non-sequitur fallacy*=20

Not a fallacy. It is called the Principle of Vacuous Truth--a legitimate me=
thod of proof. It is seldom used in daily discourse since we don't usually =
consider that implications of something that is false.

> "The Moon is made from Green Cheese =E2=87=92 Donald Trump is God"=20
> is a true sentence is FOPL.=20

"The Moon is made from Green Cheese =3D> Donald Trump is NOT God"
is also a true sentence in FOPL.

No contradictions arise from these two implications since the antecedent in=
 both is false.=20

I hope this helps.

Dan

Download my DC Proof 2.0 freeware at http://www.dcproof.com
Visit my Math Blog at http://www.dcproof.wordpress.com