一旦证明猜想是伪命题，那将使人们对现代数学的许多部分产生质疑——当然也包括基于庞加莱猜想的一切。
Proving the conjecture false would have cast doubt on much of modern mathematics-and everything that depends on it.
首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质。
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.
本文给出一类线性代数命题的一种证明方法。
A proof of a kind of linear algebra propositions is given in this paper.
在对命题逻辑代数化表示的基础上，通过解多项式方程组，对命题公式进行等价转换、演绎推理。
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.
在对命题逻辑代数化表示的基础上，通过解多项式方程组，对命题公式进行等价转换、演绎推理。
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.
应用推荐