定义:量词后边要有一个客体变元,指明对哪 个客体变元量化,称此客体变元是量词后的指 导变元 例如x(读作“任意x”),彐x(读作“存在x), 其中的x就是量词后的指导变元 例题1.所有的自然数都是整数 设N(x):x是自然数。I(x):x是整数。此命 题可以写成Vx(N(x)→I(x)) 例题2.有些自然数是偶数 设E(x):x是偶数。 此命题可以写成彐x(N(x)∧E(x)• 定义：量词后边要有一个客体变元，指明对哪 个客体变元量化，称此客体变元是量词后的指 导变元。 例如 x(读作“任意x”)，x(读作“存在x”)， 其中的x就是量词后的指导变元。 例题１.所有的自然数都是整数。 设 N(x)：x是自然数。I(x)：x是整数。此命 题可以写成 x(N(x)→I(x)) 例题２.有些自然数是偶数。 设 E(x)：x是偶数。 此命题可以写成 x(N(x)∧E(x))