论文部分内容阅读
本论文针对数理逻辑系统命题变项,利用真值表法、等值演算法制作了命题演算演示系统,并对该系统进行实践性分析。
In this paper, propositional variables of mathematical logic system, the use of truth table method, the equivalent algorithm to produce a propositional calculus demonstration system, and the practical analysis of the system.