下载APP
【简答题】
在一阶逻辑中将下面命题符号化，并且要求只能使用全称量词．
（1）没有人长着绿色头发。
（2）有的上海市民没有去过东方明珠塔。
参考答案：
参考解析：
刷刷题刷刷变学霸
举一反三
【单选题】上海常被昵称为“东方明珠”。Shanghai is often nicknamed as “Oriental Pearl”.
A.
is often nicknamed as
B.
often is nicknamed as
C.
is often nicknameas
D.
often is nickname as
【单选题】对一阶逻辑公式 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）