查询词典 atomic proposition
- 与 atomic proposition 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
The analysis includes three aspects:(1) The difficulty and reason of ultimate analysis's atomic hypothesis;(2) The difficulty and reason of analytic proposition's picture theory;(3) The difficulty between the proposition of Tractatus Logico-philosophicus itself and the anti-metaphysics proposition.
主要从三个方面来分析：(1)分析终极的原子性假设的困难及原因；(2)分析命题意义的图像论的困难及原因：(3)《逻辑哲学论》本身的命题与拒斥形而上学命题之间的困难。
-
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公式中有一个通过了验证，则可得出该系统属性是一个空属性。
- 推荐网络例句
-
As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.
每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。
-
Maybe they'll disappear into a pothole.
也许他们将在壶穴里消失
-
But because of its youthful corporate culture—most people are hustled out of the door in their mid-40s—it had no one to send.
但是因为该公司年轻的企业文化——大多数员工在40来岁的时候都被请出公司——一时间没有好的人选。