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

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.
There's nothing wrong with having no clue about what a term means, but you shouldn't pontificate it when you don't.
To quote wikipedia: *truth-preserving*: The interpretation under which all variables are assigned a truth value of true produces a truth value of true as a result of these operations. E.g., (∨, ∧ , ⊤, →, ↔, ⊂)
Note it says nothing about cases where one or more of the variables is false, and it explicity lists implication.
André
--
To email remove 'invalid' & replace 'gm' with well known Google mail service.