论文部分内容阅读
关于欧文＆#183;M＆#183;柯匹的19条推论规则的不完全性问题，西方学术界很少讨论，如果提出一个有效论证不能用十九条推论规则证明其有效性，会引入条件证明和间接证明，研究发现间接证明其是条件证明的衍生，同样引入重言式可以证明一些不能用欧文＆#183;M＆#183;柯匹提出19条推理规则证明的论证，所以对有效论证引入附加前提，只要附加的前提是重言式都可以用于推理中使用。