propositional
美 
英
- adj.命題的
- 網(wǎng)絡命題式；命題式的；命題功能
英漢解釋
例句
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.
命題動態(tài)邏輯是對動作進行刻畫和推理，并在此基礎上進行規(guī)劃求解的一種有效工具。
Furthermore, we discuss the truth degree of the propositional formula in two-valued propositional logic system.
對二值命題邏輯系統(tǒng)的程度化研究中命題公式的真度問題進行討論。
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.
本文認為命題內(nèi)容和表達方式至多只能決定語言禮貌，不能決定話語禮貌。
The new propositional knowledge was widely disseminated through a growing network of scientific and engineering journals and encyclopedias.
新的命題性的知識通過不斷增長的科學和工程雜志和百科全書形成的網(wǎng)絡得以傳播。
This paper develops the concept of consistency of finite theories in propositional fuzzy logic system.
推廣了命題模糊邏輯系統(tǒng)中有限理論相容性的概念。
In the general propositional form propositions occur in other propositions only as bases of truth-operations.
54在一般的命題形式中，命題只是作為真值運算基礎而出現(xiàn)于別的命題之中。
This paper obtains the T-truth degree of formulae in two-valued propositional logic system and discusses its properties in logic operations.
在二值命題邏輯系統(tǒng)中引入了公式的T-真度概念，并討論其邏輯運算性質(zhì)。
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.
認為是非詰問句可分為命題否定問與情態(tài)否定問。
The uniform issue of two-valued propositional logic formulas and logical equivalent formulas is discussed.
探討二值命題邏輯公式及邏輯等價公式統(tǒng)一性問題。
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.
給出了相干命題邏輯自然推理系統(tǒng)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.
提出了瀝青發(fā)泡效果評價指標的建議值，以指導泡沫瀝青冷再生技術的工程應用。
An important way for solving intelligent planning problem is translating it into propositional logic to solve.
求解智能規(guī)劃問題的一個重要方法即把智能規(guī)劃問題轉(zhuǎn)化為命題邏輯公式求解。
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.
完美信息流推理不涉及模態(tài)概念，理想信息邏輯類似經(jīng)典命題邏輯。
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 .
一個命題內(nèi)容可以有不同的語句焦點。
Set out from a problem, propositional person can alternate all sorts of titles.
從一道題出發(fā)，命題者就可以變換各種題目。
They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.
它們對應一元謂詞邏輯，而布爾代數(shù)對應于命題邏輯，而多元代數(shù)對應于一階邏輯。
What is Situation Model : Propositional Symbol or Perceptual Symbol ?
情境模型的實質(zhì)：命題符號與知覺符號之爭？。
On the Propositional Basis of "Three Represents"
論“三個代表”思想提出的依據(jù)
For the identity, we should study from two points: one is the propositional content of identity statements.
目前，關于同一性陳述的研究主要從下面兩個方面進行：一是關于同一性陳述的內(nèi)容的解釋；
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.
有幾種邏輯：命題邏輯的順序，謂詞的一個或多個、知識性、模態(tài)的，暫時的，模糊等。
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
命題內(nèi)容成分及其直接值的初步研究
Construction propositional calculus and predicate calculus system, mathematical theorems derived from the logical axioms;
構造命題演算系統(tǒng)和謂詞演算系統(tǒng)，從邏輯公理推導出數(shù)學定理；
Application of Propositional Logic Calculation Method to the Multi-temporal Remote Sensing Monographic Interpretation
命題邏輯演算方法在多時相遙感影像專題解譯中的應用
Digital Form of Logical Consequence Theory in Propositional Logic
命題邏輯中推理理論的數(shù)字形式
The Computer Implementation of the Propositional Logic Equivalent Calculation
命題邏輯等值演算的計算機實現(xiàn)
The planning of determinate action and state can be translate into classic propositional logic (SAT) to solve;
動作和世界狀態(tài)確定的規(guī)劃問題可以轉(zhuǎn)化成經(jīng)典命題邏輯問題（SAT）求解；
