dmm, "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
Add comment