因此很明显，形成推理论证基础的命题中的大多数将只是寻常的事实，尽管它们中的一些或许是“必要的”。
It is evident, therefore, that the propositions forming the basis of enthymemes, though some of them may be "necessary," will most of them be only usually true.
现在推理论证的材料是可能性和迹象，我们可以看到它们分别对应着一般为真的命题和必然为真的命题。
Now the materials of enthymemes are Probabilities and Signs, which we can see must correspond respectively with the propositions that are generally and those that are necessarily true.
推理论证必须由尽可能少得命题组成，比组成正常三段论的命题还要少。
The enthymeme must consist of few propositions, fewer often than those which make up the normal syllogism.
时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支。
Temporal logic is a branch of Philosophical logic, which investigates the proposition and inference including time.
不确定推理是知识工程中的重要内容，基于模糊命题的真值推理具有广泛的应用。
This paper gives a detailed study of truth reasoning based on fuzzy proposition, strict statement of truth-value propagation in uncertainty reasoning, defined in , is shown.
与自然科学不同的是在法律推理中起公理作用的命题是“价值判断”，作为价值判断难以为公众达成一致。
But not like the natural science, the axiom of legal reasoning is "value-judgment", and the values can not be agreed by all the people.
假言推理是前提中有一个为假言命题，并且根据假言命题前件与后件之间的关系而推出结论的推理。
Hypothetical reasoning is a reasoning that premise has a proposition and bases on the relation of proposition of protasis and apodosis to made a conclusion.
这个推理的前提和结论里都没有连接词，它们不是复合命题而是简单命题。
There are no connectives in the premises and conclusions of this reasoning. There are not complicated but simple propositions.
根据快速解耦潮流方程中系数矩阵是常数矩阵的特点，抽象出模糊命题，提出采用模糊推理的方法求解潮流问题。
In the fast decoupled load flow problem, the coefficient matrix is constant. According to this property, a fuzzy inference method is applied to solve the load flow problem.
在对命题逻辑代数化表示的基础上，通过解多项式方程组，对命题公式进行等价转换、演绎推理。
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.
实现对否定句的实际状态模拟是受到语用条件的限制的，否定并不是对否定辖域命题内容的反向推理。
The achievement of simulation of actual state of affair was constrained by the pragmatic factors. Negation was not the opposite inference of the propositional contents within the negation scope.
玩忽职守罪的罪过形式只能由过失，而不能由故意构成，否则会违反矛盾律、充足理由律及复合命题推理的基本规则。
And the former should happen because of negligence, not intent, otherwise it will violate contradiction rules, good-reason rules and the fundamental principles of composite proposition reasoning.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.
如果能证明该蕴涵式为重言式，那么其数学命题的证明推理形式就是正确的。
If the containing type can be proved to be heavy speech type, the method of the mathematical proposition proving and reasoning is correct.
在解决、论证数学命题过程中，准确使用逻辑思维方法，可使具体解题步骤严谨周密，条理清晰，形成完整的推理体。
On the process of solving and proving mathematical proposition, using logical thought ability exactly will make steps strict and ordered.
古代画论中的推理也是传统的模型类推结构，并非命题推理。
The discursion in ancient painterly theory was traditional model analogize configuration not proposition discursion.
结果表明命题类型、推理规则以及两者的交互作用都非常显著。
The results indicated that the main effects of the type of proposition and inference forms were significant.
若命题符号化是错误的，则最终的推理结果必然错误。
If symbolic notation is error, it will cause mistake of result of conclusion.
因此，以尽举选言命题作前提能构成从已知获取新知的推理。
Therefore, taking the disjunctive proposition as the prerequisite can attain the new by inferring from the known.
知识编译是近年来出现的一个新的研究方向，它用于处理一般命题逻辑推理的计算复杂性。
Knowledge Compilation emerged in recent years as a new research direction; it is used to deal with the computational complexity of propositional logic.
对于直言命题的变形推理，传统上认为A命题只能换位为I命题，O命题不能换位。
As for the transformational reasoning of categorical proposition, it is traditionally thought that proposition a can only be replaced by proposition I, proposition o cannot be substituted.
完美信息流推理不涉及模态概念，理想信息逻辑类似经典命题逻辑。
Because perfect IF inferences donot involve modal concepts, idealized IF logic is analogous to classical propositional logic.
本文从命题逻辑公式的相似度入手，研究命题逻辑公式集上的伪距离和近似推理。
This dissertation begins with the research of similarity degree, then pseudo-metric and approximate reasoning in propositional logic system are studied.
详细说明：命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。
Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization.
命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。
Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization.
喜欢这样有推理又节奏紧凑的片子，其中还隐含了一个关于理想与未来是不是能把握的命题。
If you show someone their future, they have no future, if you take away the mystery, you take away hope.
喜欢这样有推理又节奏紧凑的片子，其中还隐含了一个关于理想与未来是不是能把握的命题。
If you show someone their future, they have no future, if you take away the mystery, you take away hope.
应用推荐