Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof

On 2025-07-15 19:55, olcott wrote:

On 7/15/2025 8:44 PM, André G. Isaak wrote:

On 2025-07-15 19:37, olcott wrote:

On 7/15/2025 8:17 PM, André G. Isaak wrote:

>

The is perfectly compositional. If we start with things that are true, then the result is true. It says nothing about what we get when we start with things that are false.
>

>
https://en.wikipedia.org/wiki/Truth_table#Logical_implication
p=false q=false then p → q is true.

>
What does that have to do with anything? That demonstrates that material implication is not falsehood preserving. It says nothing about whether it is truth preserving.
>

>
Falsehood is an aspect of truth.

 Falshood-preserving and truth-preserving are two different properties. An operator can be one without being the other (and I gave you a link to their definitions). All you're demonstrating is that you have absolutely no clue what the terms you are using mean, which tends to invalidate everything you say.
 André