下载APP
参考答案：
参考解析：
刷刷题刷刷变学霸
举一反三
【单选题】对一阶逻辑公式 x y(P(x,y) ∧ Q(y,z)) ∧ xP(x,y) 的说法正确的是 ( ) . prefix="o" ns="urn:schemas-microsoft-com:office:office" ?xml:namespace>
A.
x 是约束出现的， y 是约束出现的， z 是自由出现的；
B.
x 是约束出现的， y 既是约束出现的又是自由出现的， z 是自由出现的；
C.
x 是约束出现的， y 既是约束出现的又是自由出现的， z 是约束出现的；
D.
x 是约束出现的， y 是约束出现的， z 是约束出现的．
【单选题】以下四个一阶逻辑公式不正确的是 。
A.
￢∀xF（x）<=>∃x￢F（x）
B.
∃x（F（x）∨ G（x））<=> ∃xF（x）∨ ∃x G（x）
C.
￢∃xF（x）<=>∀x￢F（x）
D.
∃x（F（x）∧ G（x））<=> ∃xF（x）∧ ∃x G（x）