真值表等数理逻辑方法的判定功能

Judging Function of Methods of Mathematical Logic Such as Truth Table etc.

真值表、归谬赋值、真值树、演绎证明和范式等方法是数理逻辑命题演算中重言式的判定 (或证明 )方法 ,但不是传统命题逻辑推理式的判定方法 .

Truth table,value assignment of reduction to absurdity,truth tree,deductive argumentation and normal form etc.are the methods of judging(or proving) tautology in propositional calculus of mathematical logic,but not that of judging inference formula in traditional propositional logic.