dmm, 19 days ago to ChatGPT

"No, A → B is not equivalent to - B → - A in logic."

Except that the truth table that ChatGPT [1] generated says the opposite. Also, see the law of contraposition [2].

Claude [3] makes the same mistake.

I've had pretty good luck with the chatbots. This is the first thing that I have asked that all of them seem to get wrong.

Interesting.

References

[1] "ChatGPT", https://chat.openai.com

[2] "Contraposition", https://en.wikipedia.org/wiki/Contraposition

[3] "Claude", https://claude.ai

#chatgpt #claude3 #firstorderpredicatelogic #math #maths #logic