词项逻辑相关论文
体育教学技能类型化框架是一把认识论的“钥匙”,对体育教学方法的优化、体育教学本质的准确把握以及教学目标的厘定起到了重要作......
各直言命题及其否定命题在自然语言和词项逻辑中往往有不同的意义,弄清楚自然语言中各直言命题及其否定命题的意义以及各命题彼此......
GAG与Gaa是关于概称句推理的逻辑系统.概称句词项逻辑的要点是引入了表示概念的词项,从而以更自然的方式表示概念在推理中的作用,......
周延性规则是词项逻辑中的一个重要推理规则,但它并不是一个普遍适用的规则。通过用不相容性代替传统的方式来刻画周延性,得到一个......
词项逻辑有一个实质性假定:即直言命题的主项和谓项只能指涉由实存个体组成的一个非空非全的类.但它同时又试图发展成为一个纯形式......
在以往概念理论中，都或多或少地夹带着概念与语词关系的讨论。在亚里士多德的范畴理论中，范畴、实体、属性、属、种等总是与名词、词......
一元谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征.亚氏逻辑与命题逻辑一样,都是二值逻辑.三段论蕴涵式比命题蕴涵式复杂,它......
词项逻辑所有的推理都可以借助于类的关系和类的性质清楚而简洁地表述出来。本文借鉴集合论的语言重新表述性质命题推理，给出了相应......
按规则对直言命题进行变形推理,会出现结论违背经验常理的情况.探索其根源,是经验思维中对对象域的把握与逻辑对对象的抽象设定不......
概称句推理具有以词项为单位的特征并且词项的涵义在其中起到了重要的作用。已有的处理用A一表达式表达涵义，不够简洁和自然。亚里......
德奥弗拉斯特跳出亚里士多德直言三段论又为人类逻辑贡献了假言、选言三段论,其创造性学说一直被错误地视为命题逻辑.德奥弗拉斯特......
概称句的形式刻画研究始于人工智能。从条件蕴涵引入开始,到建立概称句词项逻辑的形式系统GAG和Gaa,关于概称句这一系列的研究主要......
