propositional的意思

propositional中文翻譯：

adj.命題的；建議的

相似詞語短語

propositional logic───[數][計]命題邏輯

雙語使用場景

proposition and classification of propositional forms are a very complicated problem.───命題及命題形式的分類是一個相當復雜的問題。

Propositional formulas decision is one of core issues in artificial intelligence field.───命題公式的判定是人工智能領域中的一個核心問題。

the proposition is the propositional sign in its projective relation to the world.───一個命題就是一個處在對世界的投影關系中的命題符號。

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.───本文認為命題內容和表達方式至多只能決定語言禮貌，不能決定話語禮貌。

英語使用場景

Solving Lattice Point Problems by Propositional Reasoning with Isomorphism Cutting Strategy. National Taiwan University, Taipei , Taiwan.

Experimental Results on Propositional Theorem Proving with Boolean Ring. National Taiwan University, Taipei, Taiwan.

This paper works on propositional logic system in Computer Logic.

Based on these analyses, propositional sampling range of performance indexes of filling material and the size and the dimension of frame grid elements are put forward.

The model for deductive theory is the propositional calculus.

In the knowledge implication propositional logic system which build on this strategy, 1.

To the questions of propositional calculus on intuitionistic fuzzy logic (IFL), a synthetic method for finding the truth of IFL propositions using membership and hesitancy degree is proposed.

The first is propositional knowledge about natural phenomena and their regularities, e. g. , the law of gravity and the germ theory of disease.

Can attend propositional invitational tournament, this is a challenge, also be an opportunity!