如果结果不匹配，请 
更多“谓词逻辑是基于命题中谓词分析的一种逻辑。一个逻辑分为____…”相关的问题
z))逻辑等价吗？如果是请证明之,不是则举出反例.第7题
试用谓词逻辑表达描述下列推理:（变元可选用x,y,z，谓词名一般用具有相应意义的英文单词表示。） （1)如果张三比李四大，那么李四比张三小。 （2)甲和乙结婚了，则或者甲为男，乙为女；或者甲为女，乙为男。 （3)如果一个人是老实人，他就不会说谎；张三说谎了，所以张三不是一个老实人。
第9题
已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合;这些子问题的解可以直接得到，从而解决了初始问题。这种知识表示法叫（)。
A.问题归约法
B.语义网络法
C.状态空间法
D.谓词逻辑法
第10题
下列选项中，属于参数化设计方法的是（)。
A.编程参数化方法
B.基于历史的参数化设计方法
C.基于设计的参数化设计方法
D.基于约束谓词的参数化设计方法
E.基于特征的参数化设计方法
第11题
下列各组命题中，在逻辑上是不等价的是（)。
A.“屡战屡败”和“屡败屡战”
B.“情有可原，理无可恕”与“理无可恕，情有可原”
C.“签字或盖章”与“盖章或签字”
D.“招手即停”与“停则招手”
E.“当且仅当一个三角形是等角三角形，它才是等边三角形”与“当且仅当一个三角形是等边三角形，它才是等角三角形”
