计算机科学技术

• 可判定性

数学

• 可判定性

  In the second part, a logic L is establised, whose axioms are all the theorems in classical propositional logic and rules of inference are Rule A and Rule R. The soundness, completeness and decidability of it are proven.

  第二部分：以经典命题逻辑的所有定理为公理，以A-规则和R-规则(具体定义见正文)为两条基本推理规则，建立了形式系统L，并证明了系统L的可靠性，完备性及可判定性定理。

• 可决定性