西安电子科技大学S2.3.1个体域的选取软件学院变元的个体域会影响谓词公式的取值例如：设P(x)：是草食动物，Ox)：x是无性繁殖的论个体域D1：全体动物，D2：兔子(x) P()的含义(Vx) P(×)的真值FD1所有的动物都是食草动物TD2所有的兔子都食草动物(日x) Q(x)的含义(日x) Q(×)的真值TD1有些动物是无性繁殖的FD2有些兔子是无性繁殖的如果谓词公式中变元的个体域选取的不同，谓词公式的真值也可能随之不同西安电子科技大学 §2.3.1 个体域的选取 软件学院 变元的个体域会影响谓词公式的取值 例如： 设P(x): 是草食动物，Q(x): x是无性繁殖的 论个体域D1: 全体动物，D2:兔子 (∀x) P(x)的含义 (∀x) P(x)的真值 D1 所有的动物都是食草动物 F D2 所有的兔子都食草动物 T (∃x) Q(x)的含义 (∃x) Q(x)的真值 D1 有些动物是无性繁殖的 T D2 有些兔子是无性繁殖的 F 如果谓词公式中变元的个体域选取的不同，谓 词公式的真值也可能随之不同