谓词逻辑 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.cnGuoyongfang.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） 谓词逻辑