The so called maths summary is to summarize, by a certain way, the various meanings of a branch of its structural element such as conception, proposition, formula and sign etc.
所谓数学解释,就是以某种方法对数学某一分支或者构成它的成分,诸如概念、命题、公式、符号等所赋予的各种意义的总和。
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.
在对命题逻辑代数化表示的基础上,通过解多项式方程组,对命题公式进行等价转换、演绎推理。
应用推荐