传统直言三段论相关硕士博士期刊学术论文 - 搜论网

传统直言三段论相关论文

论莱舍尔的“较大数”量词理论

论莱舍尔的“较大数”量词理论张维真在自然语言中，表示事物数量的词十分丰富。除了＂所有＂、＂有些＂等之外，还有一类表示事物较大数量的......

期刊

传统逻辑一阶逻辑较大数全称量词传统直言三段论推理形式图方法一阶谓词逻辑自然语言广义量词

联合演算对传统直言推论的系统化

本文确定了联合演算的初始符号、形成规则、定义、公理和基本推理规则.以此为出发点,本文对传统直接推论和传统直言三段论作出系统......

期刊

联合演算传统直接推论传统直言三段论系统化初始符号

看过本文同时还关注