propositional
美 
英
英汉解释
例句
Symbolic logic is often divided into two branches, propositional logic and predicate logic.
符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。
Propositional dynamic logic(PDL)can be used to represent and reasoning actions and also be an effective tool for solving planning problem.
命题动态逻辑是对动作进行刻画和推理，并在此基础上进行规划求解的一种有效工具。
Furthermore, we discuss the truth degree of the propositional formula in two-valued propositional logic system.
对二值命题逻辑系统的程度化研究中命题公式的真度问题进行讨论。
Nobody asked whether such predicates had any intrinsic and independent truth, or if the propositional form could be a form of truth.
或“物是一个整体”等等，人们既没有考察究竟这些谓词是否具有独立自存的真理，或者是否能够表达真理的正确形式。
It is not semantically oriented and does not add anything to the propositional content of an utterance, but has plenty of pragmatic effects.
它只不过是一种标记，不构成话语的基本语义或命题意义，但却具有丰富的语用效应。
This paper argues that propositional content and expression way at most can only decide language politeness, cannot decide discourse polite.
本文认为命题内容和表达方式至多只能决定语言礼貌，不能决定话语礼貌。
The new propositional knowledge was widely disseminated through a growing network of scientific and engineering journals and encyclopedias.
新的命题性的知识通过不断增长的科学和工程杂志和百科全书形成的网络得以传播。
This paper develops the concept of consistency of finite theories in propositional fuzzy logic system.
推广了命题模糊逻辑系统中有限理论相容性的概念。
In the general propositional form propositions occur in other propositions only as bases of truth-operations.
54在一般的命题形式中，命题只是作为真值运算基础而出现于别的命题之中。
This paper obtains the T-truth degree of formulae in two-valued propositional logic system and discusses its properties in logic operations.
在二值命题逻辑系统中引入了公式的T-真度概念，并讨论其逻辑运算性质。
Accordingly, take calendar year examination questions seriously adequately, conduce to hold exam key and propositional incline to.
因此，充分重视历年考题，有助于把握考试重点以及命题趋向。
The paper believes that negation expressed by yes-no rhetorical questions can be grouped under propositional negation and modal negation.
认为是非诘问句可分为命题否定问与情态否定问。
The uniform issue of two-valued propositional logic formulas and logical equivalent formulas is discussed.
探讨二值命题逻辑公式及逻辑等价公式统一性问题。
With respect to verification of customization on feature model, this paper proposed a propositional logic-based verification method SUSI.
为了能够及时有效地检验特征定制结果，提出了以逻辑命题描述的SUSI验证方法。
Propositional forms are expressed by symbols, but can prepositional forms be equated with symbolization of propositions?
命题形式是用符号来表示的，但命题形式是不是就是命题的符号化？
This paper presented an automated reasoning algorithm for natural deduction system(NR)of relevance propositional logic.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
The propositional variable signifies the formal concept, and its values signify the objects that fall under the concept.
命题变项标示形式概念，命题变项的值标示属于该形式概念的对象。
Finally, propositional value of foamed asphalt evaluation index is indicated as its application guidance.
提出了沥青发泡效果评价指标的建议值，以指导泡沫沥青冷再生技术的工程应用。
An important way for solving intelligent planning problem is translating it into propositional logic to solve.
求解智能规划问题的一个重要方法即把智能规划问题转化为命题逻辑公式求解。
In this paper, the conditional truth degree of formulas in 3-valued propositional logic is proposed on the idea of conditional probability.
基于条件概率的思想，在三值逻辑命题中引入条件真度的概念。
The description of the most general propositional form is the description of the one and only general primitive sign in logic.
描述最一般的命题形式，就是描述逻辑中那个唯一的一般的初始记号。
Because perfect IF inferences donot involve modal concepts, idealized IF logic is analogous to classical propositional logic.
完美信息流推理不涉及模态概念，理想信息逻辑类似经典命题逻辑。
Best method still asks to give propositional teacher, strive for audit next its give lessons.
最好的方法还是打听出命题教师，然后争取旁听其授课。
This text will first introduce you one branch of symbolic logic, what is generally called sentential , or propositional, logic.
本课首先将向你介绍符号逻辑的一个分支，即通常认为成为的句子逻辑或命题逻辑。
A propositional content can have different focuses of sentence .
一个命题内容可以有不同的语句焦点。
Set out from a problem, propositional person can alternate all sorts of titles.
从一道题出发，命题者就可以变换各种题目。
They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.
它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。
What is Situation Model : Propositional Symbol or Perceptual Symbol ?
情境模型的实质：命题符号与知觉符号之争？。
On the Propositional Basis of "Three Represents"
论“三个代表”思想提出的依据
For the identity, we should study from two points: one is the propositional content of identity statements.
目前，关于同一性陈述的研究主要从下面两个方面进行：一是关于同一性陈述的内容的解释；
The first level is the level of propositional logic, the second level is the level of predicate logic or logic of class.
第一个层次是命题逻辑的层次，第二个层次是谓词逻辑或类逻辑的层次。
The certificate of Songwen even more proves that that light is not only particle but also wave is a dialectical thinking propositional form.
“宋文”的“证明”更加证明了“光既是粒子又是波”具有辩证思维命题形式。
There are several kinds of logic: propositional logic, predicates of order 1 or more, epistemic, modal, temporal, fuzzy, etc.
有几种逻辑：命题逻辑的顺序，谓词的一个或多个、知识性、模态的，暂时的，模糊等。
Though truth is propositional, it is not only something to be believed, but also to be received in worship and practiced in wisdom.
虽然真理是命题式的，这真理不单要相信，也要被接受为用作敬拜和智慧的实践。
A Tentative Study of the Components of Propositional Content and Its Directness
命题内容成分及其直接值的初步研究
Construction propositional calculus and predicate calculus system, mathematical theorems derived from the logical axioms;
构造命题演算系统和谓词演算系统，从逻辑公理推导出数学定理；
Application of Propositional Logic Calculation Method to the Multi-temporal Remote Sensing Monographic Interpretation
命题逻辑演算方法在多时相遥感影像专题解译中的应用
Digital Form of Logical Consequence Theory in Propositional Logic
命题逻辑中推理理论的数字形式
The Computer Implementation of the Propositional Logic Equivalent Calculation
命题逻辑等值演算的计算机实现
The planning of determinate action and state can be translate into classic propositional logic (SAT) to solve;
动作和世界状态确定的规划问题可以转化成经典命题逻辑问题（SAT）求解；
