For(x,y)表示x为y, I表示我或I(x)表示x是我。Equal表示x,y是同一个人。Р不好的解答:?1.需要再细分Р第一次作业Р题目:2.12用一阶谓词逻辑表示下面的句子。?(2)鱼我所欲也,熊掌亦我所欲也。Р参考解答:?定义谓词:I表示我或I(x)表示x是我,Fish(x)表示x是鱼,Bearpaw(x)表示x是熊掌。Р不好的解答:?1.描述对象错误?2.没有量词Р第一次作业Р题目:2.12用一阶谓词逻辑表示下面的句子。?(8)历史考试的最高分比生物考试最高分要高。Р参考解答:?主体是比较分数的高低,所以将分数作为变元x,注意是谓词,不是函数,不能写history(x)表示历史最高分?可以写History(x)表示x是历史最高分;Biology(x)表示x是生物最高分,Higher(x,y)表示x比y高。Р不好的解答:?1.定义H为历史最高分,B为生物最高分。Р不够直观Р第一次作业Р题目:2.12用一阶谓词逻辑表示下面的句子。?(10)星期六,所有的学生或者去参加舞会了,或者工作去了,但是没有两者都去的。Р参考解答:? Student(x)表示x是学生,Dance(x)表示x周六去跳舞了,Work(x)表示x周六去工作了。(带上不带上星期六都可以,如果原题说的是每个星期六的话,最好带上Saturday(x)—>(…))Р点评Р谓词的作用是描述对象的性质和关系,因此,在定义谓词的时候不应当带有“对象”。例如,forMe,wantFish,wantPaw等。?尽量用符号去表示常量和变量,并注意区分大小写。?>,<,=等符号表示对象之间的关系,最好定义为谓词,例如Equal(x,y)。?命名规范:最好使用Equal(x,y),而不是E(x,y)。?形式化的层次应该适当细一点。例子:世上没有无缘无故的爱,也没有无缘无故的恨。?分析题目描述的对象是什么,将其作为变元来分析。
全文预览
