如果结果不匹配，请 
更多“谓词逻辑是应用于计算机的逻辑形式，其逻辑规则、符号系统与命题…”相关的问题
是真。第7题
试用谓词逻辑表达描述下列推理:（变元可选用x,y,z，谓词名一般用具有相应意义的英文单词表示。） （1)如果张三比李四大，那么李四比张三小。 （2)甲和乙结婚了，则或者甲为男，乙为女；或者甲为女，乙为男。 （3)如果一个人是老实人，他就不会说谎；张三说谎了，所以张三不是一个老实人。
第8题
法律专业应开设逻辑课,其学生应学点逻辑。其中的逻辑是()。
A.指客观事物发展变化的规律。
B.特指一门研究思维形式及其规律和方法和科学。
C.泛指思维的规律。
D.贬义上指某种特殊的理论、观点和看问题的方法。
