谓词逻辑 、谓词 定义在句子中,可以独立存在的客体 称为个体词,而用以刻划客体的属性或 客体之间的关系即是谓词。 Guoyongfang.2006@yahoo.com.cn
Guoyongfang.2006@yahoo.com.cn 一、谓词 定义 在句子中，可以独立存在的客体 称为个体词，而用以刻划客体的属性或 客体之间的关系即是谓词。 谓词逻辑
谓词逻辑 1张三是大学生 2李四是大学生。 37是素数。 4.锻炼身体是个好习惯。 57小于10 6张三和李四是好朋友 7哥白尼指出地球围绕太阳转。 Guoyongfang.2006@yahoo.com.cn
Guoyongfang.2006@yahoo.com.cn 1.张三是大学生。 2.李四是大学生。 3.7是素数。 4.锻炼身体是个好习惯。 5.7小于10。 6.张三和李四是好朋友。 7.哥白尼指出地球围绕太阳转。 谓词逻辑
2-1谓词的概念与表示 个体词用abc灬za1a2a3等 表示,谓词用 A,B, Cup,Q, A1A2A3等表示。 Guoyongfang.2006@yahoo.com.cn
Guoyongfang.2006@yahoo.com.cn 2－1 谓词的概念与表示 个体词用a,b,c,...x,y,z,a1,a2,a3等 表示，谓词用A,B,C,...P，Q， R,…,A1,A2,A3,…,等表示
谓词逻辑 1张三是大学生 P(c) 2李四是大学生 P(a) 37是素数。 Q(a) 4锻炼身体是个好习惯。R(a) 57小于10。 X (a, b) 6张三和李四是好朋友。F(a,b) 7哥白尼指出地球围绕太阳转。S(a,b,c) Guoyongfang.2006@yahoo.com.cn
Guoyongfang.2006@yahoo.com.cn 1.张三是大学生。 P（c） 2.李四是大学生。 P（a） 3.7是素数。 Q（a） 4.锻炼身体是个好习惯。 R（a） 5.7小于10。 X（a，b） 6.张三和李四是好朋友。 F（a，b） 7.哥白尼指出地球围绕太阳转。S（a，b，c） 谓词逻辑
谓词的概念与表示 设:H(X):X是人 D(x):x是要死的。 上述三段论可翻译为: 则有:H(x)→D(x),H(S)→D(S) Guoyongfang.2006@yahoo.com.cn
Guoyongfang.2006@yahoo.com.cn 谓词的概念与表示 设： H(X):X是人 D(x)：x是要死的。 上述三段论可翻译为： 则有：H(x)→D(x)，H(S) D(S)