英语释义

• a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

片语

propositional temporal logic命题时态逻辑

Fuzzy Propositional Modal Logic模糊模态逻辑

many-sorted propositional dynamic logic多类命题动态逻辑

formula of propositional logic命题逻辑公式

deterministic propositional dynamic logic确定性命题逻辑

propositional intermediate logic命题中间

propositional modal logic命题模态逻辑

propositional dynamic logic[计]

英汉例句

• The third is a summary of the standard one-place normative propositional logic and analysis of some theorem of it from the science of law.

  第三部分主要是对标準的二元规范命题逻辑做一个概述，再从法律科学的角度对其中若干定理做一些评论。

• An important way for solving intelligent planning problem is translating it into propositional logic to solve.

  求解智能规划问题的一个重要方法即把智能规划问题转化为命题逻辑公式求解。

• Symbolic logic is often divided into two branches, propositional logic and predicate logic.

  符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。

• Off-line, propositional logic has been compiled into some tractable target language;

  离线阶段，命题理论被编译成某种易处理的目标语言；

• From the syntactical point of view, the concept of the syntactic truth degree of formulas is proposed in two-valued propositional logic system.

  本文从语构理论入手，在经典二值命题逻辑系统中给出公式的语构真度的概念，从两个不同的角度给出语构真度的等价刻画。

• This paper introduces a method for propositional logic calculation.

  介绍了命题逻辑演算方法。

• This dissertation begins with the research of similarity degree, then pseudo-metric and approximate reasoning in propositional logic system are studied.

  本文从命题逻辑公式的相似度入手，研究命题逻辑公式集上的伪距离和近似推理。