原子命题

词组短语

atomic proposition

与原子命题相关的网络例句 [注：此内容来源于网络，仅供参考]

There is a wrong opinion that a state of thing corresponds to the atomic proposition in the propositional logic.

学界有种观点认为，基本事态对应着命题逻辑的原子命题，这种观点是错误的。

This thesis has given atomic proposition a detailed explanation which conforms to the objective and practical semantics of Lin's Entailment Logic .

本文给出了原子命题的详细而又符合客观实际的制约逻辑语义学解释。

There are three aspects:(1) logical analysis is the base and factors of building logical atomism;(2)proposition system of expressing scientific knowledge——atomic proposition, molecularproposition, and generalized proposition;(3) picture theory of prepositional meaning is the core of logical atomism.

主要有三个方面：(1)逻辑分析是逻辑原子主义建立的基础和条件；(2)表达科学知识的命题系统——原子命题、分子命题和概括命题；(3)命题意义的图像论是逻辑原子主义的核心内容。

In this solution, to check the vacuity of the CTL formula, it is not necessary to substitute all of its sub-formulae by TRUE or FALSE, but instead, it is enough to substitute its atomic proposition, and thus the number of times for checking is linear with the number of atomic propositions.

该方法对CTL公式的空属性的探测不需要对它的所有子公式用TRUE 或FALSE替换，只需对原子命题替换，这样检验的次数与原子命题的个数呈线性关系。

Logical atomism suggests that proposition or sentence is the picture of actual being or existence, and atomic proposition is the picture of atomic fact, and molecular proposition is the picture of complicated fact, while language is the big picture of the world.

逻辑原子主义认为，命题是实在或事态的图像：原子命题是原子事实的、分子命题是复杂事实的、语言则是世界的总图像。

What is called atomic proposition is a deep thinking on atomic events of the objective world. Atomic events di- vide into two major categories: closed atomic events and open atomic events.

所谓原子命题就是关于客观世界的原子事件的思考；原子事件分闭原子事件和开原子事件两大类。

From the polarity of atomic proposition, a series of CTL formulae is derived by substituting the atomic proposition with TRUE or FALSE, before they are verified by model checking tools. If one of the CTL formulae has passed the verification, then it is concluded that the system property is a vacuity.

根据原子命题的极性，用TRUE 或FALSE替换原子命题，得到一系列的CTL公式，再对这些CTL公式用模型检验工具验证，若CTL公式中有一个通过了验证，则可得出该系统属性是一个空属性。

In addition, a rule for translating a chop-automaton to a labelled finite state automaton is also defined.

同时，定义了一套转换规则把一个chop-自动机转换为一个标注有限状态自动机，使得它们接受相同的原子命题序列集。

The author would further argue for the theses listed below:(1) Wittgenstein's"phenomenological period"could be regarded as the beginning of his lasting interest in"the philosophy of psychology"into the end of his life, whereas the interest of this kind didn't appear obviously in Tractatus;(2) By interpreting the"atomic propositions"as the simplest description of the data instead of avoiding illustrating what it is as Tractatus did, Wittgenstein's "phenomenological period"does show us an amazing affinity between his own standpoint at that time and that of the Russellian logical atomism, which is surely under the influence of the empiricist tradition;(3) Wittgenstein's critique of his phenomenology, however, revives the celebrated Tractarian dichotomy between"unspeakablity"and"speakablity"in a new context by denying any attempt to employ any linguistic tool to designate or describe the absoluteness of the data which could be only"shown".

本文所试图论证的要点可以被概括为：(1)维氏的"现象学阶段"可以被视为他关于"心理学的哲学"的长期学术兴趣的发端点——这一兴趣一直延续到他生命的终点，却并未体现于其早年作品《逻辑哲学论》之中；(2)通过将"原子命题"解释为对于感觉予料的最简单的描述（而不是像《逻辑哲学论》那样回避对于"原子命题"之所是的正面解说），维氏的"现象学阶段"乃是向我们展现了他该时期的哲学立场与罗素的经验论版本的"逻辑原子主义"之间的令人惊讶的亲缘关系；(3)通过否认任何试图用语言手段来标示或描述予料的企图，并通过对于予料自身的绝对性的展示，维氏对于他自己的"现象学"观念的批判实际上乃是复活了他在《逻辑哲学论》时代就已作出的对于"不可说性"与"可说性"的二分法。

The author would further argue for the theses listed below:(1) Wittgenstein's"phenomenological period"could be regarded as the beginning of his lasting interest in"the philosophy of psychology"into the end of his life, whereas the interest of this kind didn't appear obviously in Tractatus;(2) By interpreting the"atomic propositions"as the simplest description of the data instead of avoiding illustrating what it is as Tractatus did, Wittgenstein's "phenomenological period"does show us an amazing affinity between his own standpoint at that time and that of the Russellian logical atomism, which is surely under the influence of the empiricist tradition;(3) Wittgenstein's critique of his phenomenology, however, revives the celebrated Tractarian dichotomy between"unspeakablity"and"speakablity"in a new context by denying any attempt to employ any linguistic tool to designate or describe the absoluteness of the data which could be only"shown".

本文所试图论证的要点可以被概括为：(1)维氏的&现象学阶段&可以被视为他关于&心理学的哲学&的长期学术兴趣的发端点——这一兴趣一直延续到他生命的终点，却并未体现于其早年作品《逻辑哲学论》之中；(2)通过将&原子命题&解释为对于感觉予料的最简单的描述（而不是像《逻辑哲学论》那样回避对于&原子命题&之所是的正面解说），维氏的&现象学阶段&乃是向我们展现了他该时期的哲学立场与罗素的经验论版本的&逻辑原子主义&之间的令人惊讶的亲缘关系；(3)通过否认任何试图用语言手段来标示或描述予料的企图，并通过对于予料自身的绝对性的展示，维氏对于他自己的&现象学&观念的批判实际上乃是复活了他在《逻辑哲学论》时代就已作出的对于&不可说性&与&可说性&的二分法。

与原子命题相关的网络解释 [注：此内容来源于网络，仅供参考]

atomic lattice：原子格

atomic formula 原子公式 | atomic lattice 原子格 | atomic proposition 原子命题

atomic module lattice：原子模络

原子测度 atomic measure | 原子模络 atomic module lattice | 原子命题 atomic proposition

atomic proposition：原子命题

容易看出,例2.1-1,例2.1-2中给出的是命题的陈述句都不能进一步分解,类似这种不能再分的命题,称为原子命题(Atomic Proposition)或简单命题,原子命题是命题逻辑中最基本,最小的单位.由作为原子命题的简单陈述句通过连词联结而成的命题,

functor：函子

)要么是命题字母要么是跟随着. 个常量或函子(functor)之外. 但下列不是原子句子(因为有变量的自由出现):.

predicate calculus：谓词演算

与谓词演算(predicate calculus)相反,命题演算取简单的、未分析的命题,而不是取词项和名词表达式作为原子单元. 与函项演算相反,它仅处理不包含变项的命题. 简单的(原子的)命题用字母表示,复合的(分子的)命题用下列标准符号形成︰ ...