经典命题逻辑是现代形式逻辑的基础。
The classical proposition logic is the basis of modern formal logic.
介绍了命题逻辑演算方法。
This paper introduces a method for propositional logic calculation.
真值表方法是命题逻辑的一种重要的方法。
Using a truth table is one of the important ways for proposition logic.
也引申出命题逻辑定理证明的一个可信性问题。
Furthermore, it presents a creditability problem about theorem proof in propositional logic.
符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。
Symbolic logic is often divided into two branches, propositional logic and predicate logic.
在根据这种策略而建立的知识蕴涵命题逻辑系统中：1。
In the knowledge implication propositional logic system which build on this strategy, 1.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.
斯多噶学派否认任何非物质的，并试图通过命题逻辑来解释世界。
Stoicism denies anything immaterial and tries to explain the world through propositional logic.
完美信息流推理不涉及模态概念，理想信息逻辑类似经典命题逻辑。
Because perfect IF inferences donot involve modal concepts, idealized IF logic is analogous to classical propositional logic.
证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。
And I prove the formal axiomatic system of prepositional logic that is made up of axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.
求解智能规划问题的一个重要方法即把智能规划问题转化为命题逻辑公式求解。
An important way for solving intelligent planning problem is translating it into propositional logic to solve.
本文从命题逻辑公式的相似度入手，研究命题逻辑公式集上的伪距离和近似推理。
This dissertation begins with the research of similarity degree, then pseudo-metric and approximate reasoning in propositional logic system are studied.
实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。
Material and logical implication coincide in the classical logic, however they do not coincide in every logics.
知识编译是近年来出现的一个新的研究方向，它用于处理一般命题逻辑推理的计算复杂性。
Knowledge Compilation emerged in recent years as a new research direction; it is used to deal with the computational complexity of propositional logic.
首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质。
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.
在对命题逻辑代数化表示的基础上，通过解多项式方程组，对命题公式进行等价转换、演绎推理。
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.
命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。
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.
解释命题、命题逻辑和其涉及的否定、合取、析取、蕴涵和等价等定义，同时分析它们的形式和用法。
This paper explains the proposition and propositional logic, giving the definitions, forms and usages of negation, conjunction, disjunction, implication and equivalence.
详细说明：命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。
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.
但是模糊逻辑只注意到了模糊命题逻辑真值的连续可变性，而没有认识到模糊命题连接词的运算模型的连续可变性。
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.
三段论逻辑，是比命题逻辑、量词逻辑更为特殊的逻辑，用一般的量词逻辑是无法说明所有三段论有效式的有效性的。
Compared with proposition logic and quantifier logic, logic of syllogism is more special, and the validity of valid mood of syllogism can not be all illustrated with general quantifier logic.
从命题逻辑的角度，以可拓论为基础，建立了命题表示的一种新方法，提出了物元命题、事元命题和事物元命题的概念；
In the viewpoint of proposition logic and based on extension theory, a new method for proposition representation is proposed.
本文从语构理论入手，在经典二值命题逻辑系统中给出公式的语构真度的概念，从两个不同的角度给出语构真度的等价刻画。
From the syntactical point of view, the concept of the syntactic truth degree of formulas is proposed in two-valued propositional logic system.
本文从语构理论入手，在经典二值命题逻辑系统中给出公式的语构真度的概念，从两个不同的角度给出语构真度的等价刻画。
From the syntactical point of view, the concept of the syntactic truth degree of formulas is proposed in two-valued propositional logic system.
应用推荐