Digital Form of Logical Consequence Theory in Propositional Logic

• 命题逻辑中推理理论的数字形式