第2章一阶逻辑 【例212】在全总个体域中形式化下列命题: (1)任意的偶数均能被2整除。 (2)我们班有人吸烟。 解 (1)引入特性谓词H(x):x是偶数。 任意的偶数均能被2整除"的涵义是:全总个体域 中有子集-偶数集,该子集中的每个元素均具有一种性 质,世间万物,只要你属于这个子集,你就必然具有 这种性质,所以是蕴含式。特性谓词以蕴含式的前件 加入。则原句可形式化为: yx(H(x)→F(x))第2章 一阶逻辑 【例2.1.2】 在全总个体域中形式化下列命题： （1）任意的偶数均能被2整除。 （2）我们班有人吸烟。 解 （1）引入特性谓词H（x）：x是偶数。 "任意的偶数均能被2整除"的涵义是：全总个体域 中有子集--偶数集，该子集中的每个元素均具有一种性 质，世间万物，只要你属于这个子集，你就必然具有 这种性质，所以是蕴含式。特性谓词以蕴含式的前件 加入。则原句可形式化为：  x（H（x）→F（x））