个体域符号化

• 命题：

凡是事物都是运动的。

之前

• 设 为 是运动的。

事物

现在

• 设 为 是事物， 为 是运动的。

(★) 例题#1 - 将下列命题的个体域符号化

1. 有些事物是运动的。

• 对于全称量词 ，其个体域符号化为 蕴含式的前件 。
• 对于存在量词 ，其个体域符号化为 合取式的合取项 。

量词的真值

全称量词

• ：对于 ，  都成立。
• 。
• 。

存在量词

• ：存在一个 ，  都成立。
• 。
• 。