命题逻辑等值演算的计算机求解方法

Approach to Formal Deduction of Propositional Logic

探讨了利用数据结构中广义表的特性来设计命题逻辑表达式在计算机上的逻辑结构和存储结构，以及在这种结构上如何实现它的基本操作。

Attribute of generalized list in data structure is used to the design for logical and storage structure of propositional logic expression on the computer and used to realise its basic manipulation and complex formal deduction on this structure.