大家在查： VDDTW off the hook 阿梅德 ImperialCollegeLondon technique test 有一点 photo opportunity Kiehnau 考虑把多峰

Propositional

美英

adj.命题的
网络命题式；命题式的；命题功能

Propositional

英-汉网络释义

Propositional

命题

例如，在后面的章节中介绍的命题(propositional)意义和非命题意义(non- propositional)，句子意义和话语意义，由于它们之间 …

命题的

exercise 1.2 剩下的四篇文章 3-17 ... propositions 论点，主张 propositional 命题的 exploit 剥削；利用，开发 ...

命题式

由于他的启示是命题式(propositional)的，因此他的启示也是个人化(personal)的。神就是藉着向我们陈述一些关于他自己的真理…

命题式的

这些知识全部都是「命题式的」（propositional），换句话说，这些信念或知识的载体都是命题。也许是因为西方的哲学传统， …

命题功能

...中叫表述功能（Representational）或命题功能（Propositional），在视图语言中叫表述功能或图表功能（Figural）。

命题性的

...流行说神的启示是个人性的（Personal），而非命题性的（Propositional）。

命题性知识

心理学考研核心词汇中英... ... 程序性知识— proceduralknowledge 命题(陈述)性知识 propositional 情节(轶事)性知识— episodic…

例句：

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 develops the concept of consistency of finite theories in propositional fuzzy logic system .

推广了命题模糊逻辑系统中有限理论相容性的概念。

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 .

命题变项标示形式概念，命题变项的值标示属于该形式概念的对象。

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 .

描述最一般的命题形式，就是描述逻辑中那个唯一的一般的初始记号。

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.

目前，关于同一性陈述的研究主要从下面两个方面进行：一是关于同一性陈述的内容的解释；

热词推荐

大家在看

man , . you 's " after cum ? : - Facebook japan what Yeah then your 4th as of