三段论逻辑，是比命题逻辑、量词逻辑更为特殊的逻辑，用一般的量词逻辑是无法说明所有三段论有效式的有效性的。
Compared with proposition logic and quantifier logic, logic of syllogism is more special, and the validity of valid mood of syllogism can not be all illustrated with general quantifier logic.
首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质。
Firstly, on the basis of implication, originating from the limited Disturbing Fuzzy Propositional logic, discusses its logic algebra and the properties of its generalized tautology.
在对命题逻辑代数化表示的基础上，通过解多项式方程组，对命题公式进行等价转换、演绎推理。
This research paper of proposition logic algebra in the said, on the basis of the solution of equations by polynomial, propositional formula for equivalent conversion and deductive reasoning.
应用推荐