设谓词P（x）：x是奇数；Q（x）：x是偶数．谓词公式彐x（P（x）∧Q（x））在个体域（）中是可满足的．

谓词公式xP（x）∧彐y￢P（y）是（）

A.永真的
B.不可满足的
C.可满足的
D.非永真的

点击查看答案&解析

设论域为整数集，下列公式中为真的是（）

A.∀x彐y（x+y=0）
B.彐x∀y（x+y=0）
C.∀x∀y（x+y=0）
D._￢彐x彐y（x+y=0）

点击查看答案&解析