propositional是什么意思_propositional的中文翻译

adj.命题的；建议的

propositional

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!