... 等价性和有效性（Equivalence and Validity） 命题的代数（The Algebra of Propositions） 谓词公式（Predicate Formulas） ...
基于1个网页-相关网页
一旦证明猜想是伪命题，那将使人们对现代数学的许多部分产生质疑——当然也包括基于庞加莱猜想的一切。
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.
应用推荐