04一阶逻辑基本概念PPT.ppt

本章说明;引言;本章内容;4.1一阶逻辑命题符号化;个体词及相关概念;个体常项：表示具体或特定的客体的个体词，用小写字母a, b,c，…表示。 个体变项：表示抽象或泛指的客体的个体词，用x,y,z,…表示。 个体域（或称论域）：指个体变项的取值范围。 可以是有穷集合，如{a, b, c}, {1, 2}。 可以是无穷集合，如N,Z,R,…。 全总个体域（universe）——宇宙间一切事物组成 。;谓词常项：表示具体性质或关系的谓词。用大写字母表示。如(1)、 (2) 、(3) 中谓词F、G、H。 谓词变项：表示抽象的、泛指的性质或关系的谓词。用大写字母表示。如(4) 中谓词L。 n(n?1)元谓词：P(x1,x2,…,xn)表示含n个命题变项的n元谓词。 n=1时，一元谓词——表示x1具有性质P。 n≥2时，多元谓词——表示x1,x2,…,xn具有关系P。 0元谓词：不含个体变项的谓词。如F(a)、G(a,b)、 P(a1,a2,…,an)。 ;例题;例题;量词（quantifiers）是表示个体常项或个体变项之间数量关系的词。 1. 全称量词：符号化为“?” 日常生活和数学中所用的“一切的”、“所有的”、“每一个”、“任意的”、“凡”、“都”等词可统称为全称量词。 x表示个体域里的所有个体，?xF(x)表示个体域里所有个体都有性质F。 2.存在量词：符号化为“