创建自己的小题库
搜索
【简答题】
在一阶逻辑中将下列命题符号化。 ( 1 )爱美之心人皆有之。 ( 2 )有人爱发脾气。 ( 3 )说所有人都爱吃面包是不对的。 ( 4 )没有不吃饭的人。 ( 5 )一切人都不一样高。 ( 6 )并不是所有的汽车比所有的火车快。 ( 7 )不管黑猫白猫,抓住老鼠就是好猫。
手机使用
分享
复制链接
新浪微博
分享QQ
微信扫一扫
反馈
收藏
举报参考答案：
举一反三
【单选题】对一阶逻辑公式 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 是约束出现的．
相关题目：
【单选题】对一阶逻辑公式 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 是约束出现的．
参考解析：
AI解析
重新生成
题目纠错 0
发布
