1) extension proposition
可拓命题
2) separable proposition
可分命题
1.
This article is to prove an important theorem on separable proposition by using the new form of Continual Induction which is given in this article,then to prove Cauchy convergence principle by using separable proposition.
修改了连续归纳法,利用修改后的连续归纳法证明了一个关于可分命题的重要定理,利用该定理简化证明实数系中若干定理。
2.
This article is to introduce separable proposition and separable proposition theorem,then to prove theorems in real number field by using separable proposition in a union form.
引入了可分命题和可分命题定理,利用该定理统一证明数学分析中的定理,极大简化了这些定理的证明过程。
3) Propositional Satisfiability(SAT)
命题可满足性
4) separable proposition theorem
可分命题定理
1.
This article is to introduce separable proposition and separable proposition theorem,then to prove theorems in real number field by using separable proposition in a union form.
引入了可分命题和可分命题定理,利用该定理统一证明数学分析中的定理,极大简化了这些定理的证明过程。
5) Propositional Satisfia-bility(SAT)
命题可满足性(SAT)
6) Proposition Satisfactory Problem
命题可满足性问题
补充资料：否命题
如果两个命题中一个命题的条件和结论分别是另一个命题的条件和结论的否定，则这两个命题称互为否命题。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条