Liste des Groupes | Revenir à theory |
On 7/15/2025 6:45 PM, André G. Isaak wrote:On 2025-07-15 17:35, olcott wrote:
You seem to be using some private definition of 'truth preserving'. Did you get that one from claude.ai as well?Yet implication is not even truth preserving.You still make the same mistake with the implication operator.>
That has always been the wrong operator for PROVES.
You're being an idiot. The principle of explosion can be stated either in terms of implication or proof. I prefer implication. I'm not mistaking one symbol for another. I'm saying exactly what I intend to say.
>
André
>
Les messages affichés proviennent d'usenet.