初始符号相关论文
在日常生活中，一个有效的推理通常可以用形式表示为“如果p，那么q；p，所以q”。也可以用符号表示为(p→q)Ap→q。这种有效式在逻辑中又......
在<前分析篇>[1]中,亚里士多德用大量篇幅讨论了模态三段论问题.亚氏模态三段论自成系统,可以尝试从现代逻辑的联合演算观[2-3]出......
本文确定了联合演算的初始符号、形成规则、定义、公理和基本推理规则.以此为出发点,本文对传统直接推论和传统直言三段论作出系统......
