题目内容
(请给出正确答案)
[主观题]
试用谓词逻辑表达描述下列推理:(变元可选用x,y,z,谓词名一般用具有相应意义的英文单词表示。) (1)如果张三比李四大,那么李四比张三小。 (2)甲和乙结婚了,则或者甲为男,乙为女;或者甲为女,乙为男。 (3)如果一个人是老实人,他就不会说谎;张三说谎了,所以张三不是一个老实人。
答案
暂无答案
第3题
第5题
A.自由变元
B.约束变元
C.既不是自由变元也不是约束安元
D.既是自由变元也是约束变元
第6题
A.既不是自由变元又不是约束变元
B.是约束变元但不是自由变元
C.是自由变元但不是约束变元
D.既是自由变元又是约束变元
第7题
A.是约束变元但不是自由变元
B.是自由变元但不是约束变元
C.既是自由变元又是约束变元
D.既不是自由变元又不是约束变元
第8题
A.两天两夜一直没有停过的毛毛雨又淅淅沥沥地下起来了
B.梅雨季节,江南的农村、平原、山区和城镇都阴雨连绵
C.只有到了深秋,枫叶才会红;正是夏天,枫叶应该没红
D.如果他是教授,他就有学问;他有学问,所以他是教授
第10题
A.状态空间法
B.问题规约法
C.谓词逻辑法
D.语义网络法