查询词典 modal proposition

Proposition logic takes the proposition as the fundamental research object mathematization logical system,propo- sition logic is the mathematical logic foundation,also is the theoretical basic of computer science and the technical.

命题逻辑是一个以命题为基本研究对象的数学化的逻辑系统，命题逻辑是数理逻辑的基础，也是计算机科学与技术的理论基础。

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

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

The fusion between the mutually contradicted forms of to sell and to buy the arbitrage. Their combined proposition, the dual arbitrage is the negation of the negation. Deducted by analogy, when summarizing all the trading forms, we can find that they all conform to the trinity philosophy of Hegel. As Marx said,"In Greek, this is the positive, negative and combined proposition. And to those readers who cannot understand Hegel"s language, we tell them a holly formula: positive, negative and the negation of the negation. All these trading forms follow the principles of the change of quantity and quality, the contradictive unification and the negation of the negation.

我们把套期保值交易看作正题，那么，卖出套期保值是肯定一一买入套期保值是否定，这两个包含在反题中的对抗因素的斗争，形成辩证运动；卖出套期保值和买入套期保值就可以互相转化；这两个彼此矛盾的交易，形成新的合题，就形成一个新的交易形式，即卖出套期保值和买入套期保值这两个彼此矛盾的融合，它们的合题——双向套期保值是否定之否定。

Constitution, this paper discusses the nature of the legal relation between the proposing body and the ratifying body, and the question of timing of proposition, the time limit of ratification and the rescindment of proposition.

为了解决修宪提案的"时效"问题，美国密里苏达大学法学院助理教授Paulsen认为，提案机关应当有权撤回修宪提案。本文将在第三部分对此进行探讨 http：//www.aisixiang.com

Amalgamation is according to the stock level and the discrepancy library of the article the occasion, constitution outs every kind of stock level report, reflect the propositions article stock level with sell to be in business of the all levels handling of the occasion, convenient proposition the personnel just - in - time to figure out to hold the store in warehousing of every kind of product the quantity, library the quantity with the stock level quantity, in order to get hip, and the reasonable settle proposition produce to be in business of the job of the severalty link.

并根据商品的库存及出入库情况，制定出各种库存报表，反映企业的商品库存和销售经营情况，方便企业的各级管理人员及时了解掌握各种产品的入库量、出库量和库存量，以便心中有数，合理安排企业生产经营各个环节的工作。

465 The logical product of a tautology and a proposition says the same thing as the proposition.

4.465 一个重言式和一个命题的逻辑积，与这个命题说的是同一回事情。

If proposition 2 is true, then proposition 1 is false.

如果说命题二是真的，则证明了命题一是假的。

If an elementary proposition is true, that means, at any rate, one more true elementary proposition.

如果有一个基本命题为真，那就意味着无论如何有多于一个的基本命题为真。

For example, a necessarily true proposition is a proposition that would be true no matter what possible world was actual.

例如，一个必然真命题，就是无论哪一个可能世界成为现实世界都会是真的命题。

0211 If they world had no substance, then whether a proposition had sense would depend on whether another proposition was true.

2.0211 假如世界没有实体，那么一个命题是否有意义就依赖于另一个命题是否为真。

A historical region of southwest France between the Pyrenees and the Garonne River. The duchy of Aquitaine was joined with France after the marriage of Eleanor of Aquitaine to King Louis VII in1137, but its possession was disputed after her subsequent marriage to Henry II of England.

阿基坦法国西南部一个历史地区，位于比利牛斯山和加隆河之间，在1137年阿基坦的埃莉诺与国王路易斯七世结婚之后阿基坦公国加入法国，但当她再嫁英国亨利二世后，其归属权便受到争议

There are moments when I look at the smiling , happy faces of my expectant staff and wonder how they will cope when confronted by an outraged housemaster along with an unrepentant and recalcitrant bleached blond teenager in 18 years ' time .

有时候，我看着那些满怀期待的员工微笑，幸福的脸，想着当他们遇到一位愤怒的宿舍管理员和一位不知悔改，叛逆，而且将头发染成白色的18岁少年时，他们会如何处理。