第2章一阶逻辑 全称量词" 全称量词用来表示个体域中的全体。表示自然语 言中的"所有的"、"任意的"、"每一个"等等。如: 任意偶数均能被2整除。" 句子可改写成:“在偶数集合中的任意的x,x能 被2整除。”取个体域为偶数集,用F(x)表示“x能 被2整除",用x表示“任意的x,则原句形式化为: V F(x)第2章 一阶逻辑 1．全称量词“ " 全称量词用来表示个体域中的全体。表示自然语 言中的"所有的" 、 "任意的" 、 "每一个"等等。如： "任意偶数均能被2整除。 " 句子可改写成：“在偶数集合中的任意的x，x能 被2整除。”取个体域为偶数集，用F（x）表示“x能 被2整除”，用 x表示“任意的x”，则原句形式化为： F（x）   