编辑: 山南水北 2019-04-26

二、一阶谓词逻辑 简单命题的分解:个体词和谓词个体词指可以独立存在的客体可以表示具体的事物:李明,玫瑰花,自然数可以表示抽象的概念:思想谓词用于刻画个体词的性质或个体词之间的关系的词 2是有理数, 是有理数 小李比小王高, … 比…高 个体常项、个体变项和........

下载(注:源文件不在本站服务器,都将跳转到源网站下载)
备用下载
发帖评论
相关话题
发布一个新话题