逻辑命题当中的主要短语之一。
Proposition relativity and logic calculation in probabilistic logic;
本文讨论了中介逻辑命题演算(MP)的形式系统。
This paper deals with the formal system of propositional calculus of medium logic (MP).
主词，主项，主概念：逻辑命题中的一个词，它表示肯定或否定的论题。
Logic The term of a proposition about which something is affirmed or denied.
本文对7位串行码数字锁系统这一逻辑命题进行了实施方案的探讨和实验，证明用这种方法设计的系统结构简单实用。
The implementation scheme of digital latch system with 7 bit serial code is discussed and tested. The obtained results show the structure of system designed by this method is simple and practical.
瑞恩计划是一个“归谬证法”——通过推导逻辑结论对命题进行反证。
The ryan plan is a "reductio ad absurdum " a disproof by taking a proposition to a logical conclusion.
高德的不完备定理的主要结论是，所有的逻辑体系都会存在无法证明或证伪的命题。因此，所有的逻辑体系都不“完备”。
The main conclusion of Gödel’s incompleteness theorems is that all logical systems will have statements that cannot be proven or disproven; therefore, all logical systems must be “incomplete.”
摘要逻辑实证主义认为形而上学表述的都是经验之外的命题，由于它们无法被证实真与假，所以根本就没有意义。
Logical positivism thinks that metaphysical propositions beyond experience cannot be verified as truth or falsehood so that they are meaningless at all.
本例子的逻辑思路以错误的假设(伪命题)开始，事实上，并不是“每一个人”都想要结婚。
The example starts a logical train of thought with an assumption that is false. Not "everyone" wants to get married.
斯多噶学派否认任何非物质的，并试图通过命题逻辑来解释世界。
Stoicism denies anything immaterial and tries to explain the world through propositional logic.
对数学逻辑素养较高的被试进行了条件命题规则运用和样例学习迁移研究。
This study inquires the rule use and example transfer for subjects who have higher manner in mathematics logic.
要了解更多的逻辑，我们需要了解命题，命题命题运营商和运营商。
To learn about logic more we need to know about proposition, propositional operators and propositional operators.
本文试图通过对这个命题的解读，分析霍姆斯为什么“反逻辑”，他反对的究竟是什么，他对逻辑在法律中的作用及局限性的认识。
This article attempted to offer an interpretation of the proposition to analyse why Holmes anti-logic, what he actually against, and advanced his argument on the function and limit of law.
介绍了命题逻辑演算方法。
This paper introduces a method for propositional logic calculation.
经典命题逻辑是现代形式逻辑的基础。
The classical proposition logic is the basis of modern formal logic.
在数学中，含有三个命题的一类逻辑陈述。当两个前提为真时，结论为真。
In mathematics a logical statement that involves three propositions: the major premise minor pre-mise and conclusion. the conclusion is necessarily being true if the premises are true.
在哲学史和逻辑史上，有学者认为否定命题是某种偶然的、副次的东西。
In the history of philosophy and logic, some scholars regard negative proposition as something occasional and subsidiary.
在根据这种策略而建立的知识蕴涵命题逻辑系统中：1。
In the knowledge implication propositional logic system which build on this strategy, 1.
实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。
Material and logical implication coincide in the classical logic, however they do not coincide in every logics.
本文认为否定命题作为一种独特的思维形式，有着重要的逻辑功能和认识价值。
This paper suggests that the negative proposition, as a unique form of thinking, has its important logical function and cognitive value.
逻辑的普遍有效性同“凡人皆有死”这类命题的偶然的普遍有效性相对比，可以称为本质的普遍有效性。
The general validity of logic might be called essential, in contrast with the accidental general validity of such propositions as' all men are mortal '.
在逻辑中，指两个命题被归为真实条件命题的前因与后果时二者之间的关系。
In logic, a relation that holds between two propositions when they are linked as antecedent and consequent of a true conditional proposition.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.
其篇章连接功能包括三个层次，分别为：命题功能、逻辑关联功能和话语标记功能，并且这三个层次的功能是依次虚化的。
The function includes three levels: proposition function, logic connection function and discourse marking function. Furthermore, the three functions are grammaticalized in sequence.
真值表方法是命题逻辑的一种重要的方法。
Using a truth table is one of the important ways for proposition logic.
但是模糊逻辑只注意到了模糊命题逻辑真值的连续可变性，而没有认识到模糊命题连接词的运算模型的连续可变性。
But fuzzy logic only pay attention to the sequential changeability of fuzzy proposition logic's value, not notice the sequential changeability of fuzzy proposition logic's conjunction operation model.
目前，命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具，但谓词模态逻辑却不是。
Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science, but predicate modal logic is not.
目前，命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具，但谓词模态逻辑却不是。
Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science, but predicate modal logic is not.
应用推荐