主要内容个体词谓词量词一阶逻辑命题符号化F的合式.PPTVIP

主要内容：个体词、谓词、量词一阶逻辑命题符号化F的合式公式、闭式F的解释公式的类型：永真式、矛盾式、可满足式 第四章 一阶逻辑基本概念 要求：（1）准确地将给定命题在F中符号化 当指定个体域时，就使用它当没指定个体域时，就使用全总个体域在符号化时注意两个基本公式中量词与联结词的搭配（2）深刻理解永真式、矛盾式、可满足式的概念及相互之间的关系（3）记住闭式的性质并能应用它（4）对于给定的解释会判断公式的真值，或判定真值不确定（即仍不是命题） 问题的提出： 所有的人都是要死的， 苏格拉底是人， 所以苏格拉底是要死的。 4.1 一阶逻辑命题符号化 命题是反映判断的句子,一般式由主语和谓语组成。 例如：电子计算机是科学技术的工具。 主语 谓语 主语一般是客体（个体词），客体可以独立存在，可以是具体的也可以是抽象的。用以刻划客体的性质或关系的即是谓词。 一、个体词、谓词、量词 例如 (1) 他是三好学生。 (2) 7 是质数。 (3) 每天早晨作广播体操是好习惯。 (4) 5大于3。 (5) 张三位于