谓词逻辑 1张三是大学生 2李四是大学生。 37是素数。 4.锻炼身体是个好习惯。 57小于10 6张三和李四是好朋友 7哥白尼指出地球围绕太阳转。 Guoyongfang.2006@yahoo.com.cnGuoyongfang.2006@yahoo.com.cn 1.张三是大学生。 2.李四是大学生。 3.7是素数。 4.锻炼身体是个好习惯。 5.7小于10。 6.张三和李四是好朋友。 7.哥白尼指出地球围绕太阳转。 谓词逻辑