RetroBBS - comp.lang.prolog - Re: Investigating Proof Graphs: Euclid

Re: Investigating Proof Graphs: Euclid

<77a9ab51-7357-455e-bae6-c3e68ca502acn@googlegroups.com>

https://www.rocksolidbbs.com/devel/article-flat.php?id=1914&group=comp.lang.prolog#1914

copy link Newsgroups: comp.lang.prolog

X-Received: by 2002:a05:6214:e8e:b0:532:2ce2:f13e with SMTP id hf14-20020a0562140e8e00b005322ce2f13emr1720547qvb.76.1674834621111;
Fri, 27 Jan 2023 07:50:21 -0800 (PST)
X-Received: by 2002:aca:590b:0:b0:364:42a0:a0b6 with SMTP id
n11-20020aca590b000000b0036442a0a0b6mr1842594oib.136.1674834619323; Fri, 27
Jan 2023 07:50:19 -0800 (PST)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.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: comp.lang.prolog
Date: Fri, 27 Jan 2023 07:50:18 -0800 (PST)
In-Reply-To: <bd81b556-4565-40d2-a4b4-1441f0f4ec15n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.44; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.44
References: <56d3b838-cb9f-433c-b486-3956b85b4ea5@googlegroups.com>
<9df46bff-9378-410c-8b9c-2abd61efd108o@googlegroups.com> <rd4hu1$1451$1@gioia.aioe.org>
<c82c08ed-7501-4aee-81a9-265a4f1f4efco@googlegroups.com> <eaab8bd1-b765-4652-a7ac-259f03f4082eo@googlegroups.com>
<888e9552-a909-43b2-a759-7eb53a970079o@googlegroups.com> <866370cb-b73a-449a-a7b7-1fbd963b1038o@googlegroups.com>
<97bad089-d164-415a-958c-ac34afd5cc5eo@googlegroups.com> <ri1g0d$7vt$1@solani.org>
<6f4f8c7d-bfd5-42f0-b4b7-47b716eefc35o@googlegroups.com> <e5f93b1a-e0a7-4d01-a472-7d4fa87471dco@googlegroups.com>
<4f5ffd6f-e1ad-450f-9ec7-1afee3f03604o@googlegroups.com> <21158c8e-0c1e-401e-8b10-e148f753c8b3o@googlegroups.com>
<4b0955ee-5101-43ae-bb55-ebb3ba7c1d65o@googlegroups.com> <2d203007-60b7-4cf1-a559-473788602e93o@googlegroups.com>
<9394064a-e8f0-49cf-a5e2-24f38bb2b23do@googlegroups.com> <7d2ee196-c6c3-47c0-9927-7816fe919ce4o@googlegroups.com>
<4a06214a-44d4-4c96-85f2-71d1c4eb6665o@googlegroups.com> <rjd2iq$cjr$2@solani.org>
<c9203cef-311b-499a-8029-192aba4a847co@googlegroups.com> <45cdb28b-7b1e-464c-88d1-6a9f7531dd6fo@googlegroups.com>
<1da9cb7e-c075-4adc-a2b5-07982dca4085o@googlegroups.com> <69e54810-daeb-4e69-95d6-ea1178febb6bo@googlegroups.com>
<4eff1357-4db7-4ccf-a5fe-d94d34143ff8n@googlegroups.com> <bc005041-6b34-4627-b4fb-8f685ead5847n@googlegroups.com>
<0e65120e-0b62-4256-8923-fa20a0b87137n@googlegroups.com> <bd81b556-4565-40d2-a4b4-1441f0f4ec15n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <77a9ab51-7357-455e-bae6-c3e68ca502acn@googlegroups.com>
Subject: Re: Investigating Proof Graphs: Euclid
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Fri, 27 Jan 2023 15:50:21 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 4158

by: Mostowski Collapse - Fri, 27 Jan 2023 15:50 UTC

I guess ChatGBT is more ChatCBD:

Cannabidiol (CBD) is a phytocannabinoid discovered in 1940.
Phytocannabinoids are cannabinoids that occur naturally
in the cannabis plant.
https://en.wikipedia.org/wiki/Cannabidiol

LoL

Mostowski Collapse schrieb am Montag, 9. Januar 2023 um 11:02:15 UTC+1:
> Credits: Fritz Feldhase, he suggested this question:
>
> Does p and q imply p?
>
> On de.sci.mathematik
> Mostowski Collapse schrieb am Montag, 9. Januar 2023 um 10:44:45 UTC+1:
> > I guess the logic component of ChatGPT
> > needs some improvement. a) lets first
> > assure ourselvs that p & q → p is tautology.
> >
> > p q ((p ∧ q) → p)
> > F F T
> > F T T
> > T F T
> > T T T
> > Truth Table Generator
> > https://web.stanford.edu/class/cs103/tools/truth-table-tool/
> >
> > b) Now what is ChatGPTs opinion on that:
> >
> > No, “p and q” does not imply “p.”
> >
> > The statement “p and q” means that both p
> > and q are true. However, this does not
> > necessarily mean that p is true on its own.
> > For example, consider the following statements:
> >
> > “It is raining and the sun is shining.”
> > “The earth is round and the moon is round.”
> > In both of these cases, “p and q” is true,
> > but neither “p” nor “q” is true on its own.
> >
> > I made a screenshot.

Life. Don't talk to me about life. -- Marvin the Paranoid Android

devel / comp.lang.prolog / Re: Investigating Proof Graphs: Euclid

Subject	Author
Re: Investigating Proof Graphs: Euclid	Mostowski Collapse