否定命题

In logic, affirmative comparative sentence is positive proposition,the negative is negative proposition.

从逻辑上讲，肯定比较句是正命题，否定比较句是负命题。

Declarative sentence or a combination increases the tone of voice of doubt the word "you","bar", etc., the general proposition of the whole of the doubt, the answer is a simple proposition for the whole of the positive and negative.

陈述句加疑问语调或兼用语气词"吗"、"吧"等构成，一般是对整个命题的疑问，回答也是对整个命题的简单的肯定和否定。

When these genera and their negations are combined together in every which way, and tested for consistency, it is found that only four species of causation remain conceivable.

当这些种类的命题和他们的否定命题以各式各样的形式联合在一起，并对其可靠性进行测试时，一般发现只有这四种因果关系或特殊的因果判断，是令人信服的。

Logic The positive or negative character of a proposition.

命题的性质：命题的肯定或否定的性质 adj。

Can All the Special Negative Proposition Not Be Transposed?

所有特称否定命题都不能换位吗？

To prove the inequality involving for negative proposition, the proposition "or at least",""," nonexistence "and" impossible "words, can consider to use when required.

凡涉及到的证明不等式为否定命题、惟一性命题或含有"至多"、"至少"、"不存在"、"不可能"等词语时，可以考虑用反证法。

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

Moreover, by discussing negation, universal quantifier, tense marker, adverb in proposition, in Chinese, Japanese, and English, I can clearly point out the communal structures of contrary negation and contradictory negation.

另外，藉著讨论国语、日语及英语的否定与全称数量词、时制辞、命题内副词等相互的关系，本人找出能明确分辨出中日英语中"相反否定"及"矛盾否定"的共通构造。

There were two experiments to investigate the Chinese negative declarative sentences and negative imperative sentences individua...

2实现对否定句的实际状态模拟是受到语用条件的限制的，否定并不是对否定辖域命题内容的反向推理。

Under the normal stress, logical negation is realized by negating the relation between predicates and arguments.

在自然重音的情况下，内部否定通过否定谓词和论元的关系达到否定命题的目的。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。