第三章谓词演算基础教学讲义.pptVIP

第三章 谓词演算基础; 项的概念;函数项;例 John’s mother is married to his father;全总个体域、量词;例 计算机学院的有些老师是青年教师;例 个体域I为人类集合,将下列命题符号化: ;例 个体域I为全总个体域,将下列命题符号化: ;例1 某些人对某些食物过敏。;例 试把下列语句翻译为谓词演算公式 （1）所有蜜蜂均喜欢所有的花粉； (10级期末，3分） ;例 试把下列语句翻译为谓词演算公式 （1）并非“人不为己，天诛地灭”； (06级期末，3分） ;例 试把下列语句翻译为谓词演算公式 （2）有些学生喜欢所有的老师 。 (06级期末，3分） ;例 试把下列语句翻译为谓词演算公式(3)凡是对顶角一定相等。 (05级期末，2分） ;例2 金子闪光，但闪光的并非全是金子。;例4 并非“人不为己，天诛地灭”。;例5 任何人均会犯错误。;例6 己所不欲勿施于人。;例 所有的正数均可开方。;例 没有最大的自然数 。;例 没有最大的自然数 。;典型错误;第三章 谓词演算基础