形式化推演方法
是现代逻辑的重要推理方法。它用人工符号语言来表示演绎推理,把推理表现为一系列符号与符号之间的变形,如同数学演算的符号变形。这些人工符号本身是自然语言的逻辑抽象,而符号与符号之间的逻辑关系则是思维规律的反映。用这种方法暂时脱离内容而从纯形式方面研究符号,是为了排除不必要的干扰,从而能更精确、更严密地研究思维规律和推理的形式结构。运用此法时,一般应包括下列一些部分:①概念部分,有初始符号(如命题变项符号p,q,r,…;逻辑联结词⇁,∧,∨,→,↔等)、形成规则等;②推理部分,有公理、推理规则(亦称变形规则)、定义、定理等。概念部分主要指明研究 ...... (共494字) [阅读本文]>>