atomic proposition

atomic proposition的基本解释

-

原子命题

与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.

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

与atomic proposition相关的网络解释 [注：此内容来源于网络，仅供参考]

atomic proposition：原子命题

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