1.Symbolic logic is often pided into two branches, propositional logic and predicate logic.
符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。
2.Propositional dynamic logic(PDL)can be used to represent and reasoning actions and also be an effective tool for solving planning problem.
命题动态逻辑是对动作进行刻画和推理，并在此基础上进行规划求解的一种有效工具。
3.Furthermore, we discuss the truth degree of the propositional formula in two-valued propositional logic system.
对二值命题逻辑系统的程度化研究中命题公式的真度问题进行讨论。
4.Nobody asked whether such predicates had any intrinsic and independent truth, or if the propositional form could be a form of truth.
或“物是一个整体”等等，人们既没有考察究竟这些谓词是否具有独立自存的真理，或者是否能够表达真理的正确形式。
5.It is not semantically oriented and does not add anything to the propositional content of an utterance, but has plenty of pragmatic effects.
它只不过是一种标记，不构成话语的基本语义或命题意义，但却具有丰富的语用效应。
6.This paper argues that propositional content and expression way at most can only decide language politeness, cannot decide discourse polite.
本文认为命题内容和表达方式至多只能决定语言礼貌，不能决定话语礼貌。
7.The new propositional knowledge was widely disseminated through a growing network of scientific and engineering journals and encyclopedias.
新的命题性的知识通过不断增长的科学和工程杂志和百科全书形成的网络得以传播。
8.This paper develops the concept of consistency of finite theories in propositional fuzzy logic system.
推广了命题模糊逻辑系统中有限理论相容性的概念。
9.In the general propositional form propositions occur in other propositions only as bases of truth-operations.
54在一般的命题形式中，命题只是作为真值运算基础而出现于别的命题之中。
10.This paper obtains the T-truth degree of formulae in two-valued propositional logic system and discusses its properties in logic operations.
在二值命题逻辑系统中引入了公式的T-真度概念，并讨论其逻辑运算性质。