卷宗
捲宗
권종
JUANZONG
2014年
2期
321-321
,共1页
符号逻辑%不完全性%重言式%条件证明%排中律
符號邏輯%不完全性%重言式%條件證明%排中律
부호라집%불완전성%중언식%조건증명%배중률
关于欧文·M·柯匹的19条推论规则的不完全性问题，西方学术界很少讨论，如果提出一个有效论证不能用十九条推论规则证明其有效性，会引入条件证明和间接证明，研究发现间接证明其是条件证明的衍生，同样引入重言式可以证明一些不能用欧文·M·柯匹提出19条推理规则证明的论证，所以对有效论证引入附加前提，只要附加的前提是重言式都可以用于推理中使用。
關于歐文·M·柯匹的19條推論規則的不完全性問題，西方學術界很少討論，如果提齣一箇有效論證不能用十九條推論規則證明其有效性，會引入條件證明和間接證明，研究髮現間接證明其是條件證明的衍生，同樣引入重言式可以證明一些不能用歐文·M·柯匹提齣19條推理規則證明的論證，所以對有效論證引入附加前提，隻要附加的前提是重言式都可以用于推理中使用。
관우구문·M·가필적19조추론규칙적불완전성문제，서방학술계흔소토론，여과제출일개유효론증불능용십구조추론규칙증명기유효성，회인입조건증명화간접증명，연구발현간접증명기시조건증명적연생，동양인입중언식가이증명일사불능용구문·M·가필제출19조추리규칙증명적론증，소이대유효론증인입부가전제，지요부가적전제시중언식도가이용우추리중사용。
