Message-ID:

Life would be so much easier if we could just look at the source code. -- Dave Olson

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

Re: Investigating Proof Graphs: Euclid

<0e65120e-0b62-4256-8923-fa20a0b87137n@googlegroups.com>

https://news.novabbs.org/devel/article-flat.php?id=2766&group=comp.lang.prolog#2766

copy link Newsgroups: comp.lang.prolog

X-Received: by 2002:a05:620a:2b8b:b0:6fc:a03e:fcdf with SMTP id dz11-20020a05620a2b8b00b006fca03efcdfmr1629486qkb.139.1673257484404;
Mon, 09 Jan 2023 01:44:44 -0800 (PST)
X-Received: by 2002:a05:6870:3495:b0:144:3aaa:d701 with SMTP id
n21-20020a056870349500b001443aaad701mr5434324oah.68.1673257484057; Mon, 09
Jan 2023 01:44:44 -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 01:44:43 -0800 (PST)
In-Reply-To: <bc005041-6b34-4627-b4fb-8f685ead5847n@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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0e65120e-0b62-4256-8923-fa20a0b87137n@googlegroups.com>
Subject: Re: Investigating Proof Graphs: Euclid
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Mon, 09 Jan 2023 09:44:44 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3379

by: Mostowski Collapse - Mon, 9 Jan 2023 09:44 UTC

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
Investigating Proof Graphs: Euclid	Mostowski Collapse