阶逻辑命题符号化 几点注意： 1.谓词的记法 设论域A中元素a,b,cEA, 满足关系P,Q,R,记作P(a),Q(a,b),R(a,b,c). 不满足关系记作P(a),一Q(a,b),R(a,b,c). 例将下列命题符号化： 李明是位大学生 解：S(x):x是位大学生，c:李明 则该命题符号化为S(c) 11
11 几点注意： 1.谓词的记法 设论域A中元素a ,b , c ∈A, 满足关系P,Q,R，记作P(a),Q(a,b),R(a,b,c). 不满足关系记作 P(a), Q(a,b), R(a,b,c). 一阶逻辑命题符号化 例 将下列命题符号化 : 李明是位大学生. 解:S(x):x是位大学生；c:李明 则该命题符号化为S(c)
2.个体变元在哪些论域取特定的值， 对命题的真值有影响。 例：若x的论域为某大学的全体学生，则S(x)为真； 若x的论域为某中学的全体学生，则S(x)为假； 若x的论域为某剧场中的观众，则S(x)真值不确定； 12
12 例:若x的论域为某大学的全体学生，则S(x)为真； 若x的论域为某中学的全体学生，则S(x)为假； 若x的论域为某剧场中的观众，则S(x)真值不确定； 2. 个体变元在哪些论域取特定的值， 对命题的真值有影响