Message-ID:

There's coffee in that nebula! -- Capt. Kathryn Janeway, Star Trek: Voyager, "The Cloud"

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

Re: Investigating Proof Graphs: Euclid

<bd81b556-4565-40d2-a4b4-1441f0f4ec15n@googlegroups.com>

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

copy link Newsgroups: comp.lang.prolog

X-Received: by 2002:a05:620a:b03:b0:6fc:bcc4:d9e1 with SMTP id t3-20020a05620a0b0300b006fcbcc4d9e1mr3989623qkg.92.1673258534244;
Mon, 09 Jan 2023 02:02:14 -0800 (PST)
X-Received: by 2002:a05:6830:1e85:b0:678:310f:6bd3 with SMTP id
n5-20020a0568301e8500b00678310f6bd3mr4129527otr.23.1673258533945; Mon, 09 Jan
2023 02:02:13 -0800 (PST)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.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: Mon, 9 Jan 2023 02:02:13 -0800 (PST)
In-Reply-To: <0e65120e-0b62-4256-8923-fa20a0b87137n@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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <bd81b556-4565-40d2-a4b4-1441f0f4ec15n@googlegroups.com>
Subject: Re: Investigating Proof Graphs: Euclid
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Mon, 09 Jan 2023 10:02:14 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3716

by: Mostowski Collapse - Mon, 9 Jan 2023 10:02 UTC

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.

Subject	Author
Re: Investigating Proof Graphs: Euclid	Mostowski Collapse