查询词典 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 .

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

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替换，只需对原子命题替换，这样检验的次数与原子命题的个数呈线性关系。

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.

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

The new philosophical proposition implied concern on the people's livelihood and animadverting on the political system of autarchy.

这新的哲学命题中实际上蕴涵着对民生的关注和对专制政体的批判。

Proposition 2.2: In the process of technology transferring, the authorizer and the one been authorized only care about the internal business cost and benefit, not the external business cost and benfit.

命题2-2：企业科技技术转移中，授权者及被授权者专注企业内部成本及效益，不专注外部成本及效益。

Proposition 2.1: In the process of technology transferring, protected by the social regulation, the authorizer and the one been authorized will all acquire the social public welfare.

命题2-1：企业科技技术转移中，授权者及被授权者因获取社会法规保障而获取社会公共财利益。

It seems axiomatic that you have to make a friend before you can effectively make him a proposition.

一个放诸四海而皆准的准则——必须先成为朋友，对方才会听你的忠告。

"It seems axiomatic that you have to make a friend before you caneffectively make him a proposition."

一个放诸四海皆准的事实-必须先做成朋友，对方才会听你的忠告。

In fact, be based on Baconian metric analysis, can reach merely a few laws that have strict and applicable requirement, and cannot reach forever run-of-mill proposition, also cannot confirm even or card bogus a basic theory.

事实上，基于归纳的计量分析，仅仅可以得出一些具有严格适用条件的规律，而永远无法得出一般性的命题，甚至也无法证实或证伪一个基本理论。

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.

也许他们将在壶穴里消失