first-order-logic - 命题逻辑和一阶逻辑的区别

Question

你能告诉我命题逻辑和一阶逻辑有什么区别吗？这是我在人工智能中的一个考试题，你能帮我做吗

Answer 1

在命题逻辑中，您可以使用通常的命题连接词（and, or, ...）。在一阶逻辑中，您可以对变量进行量化（forall，exist），这使得它更严格地表达。