查询词典 incorrect proposition

"Logicians distinguish two main types of implication, material and strict. Proposition p materially implies proposition q if and only if the material conditional p q (read "if p then q") is true"

逻辑学家将蕴涵分成实质的和严格的两种主要类型。p命题实质蕴涵q命题，若且唯若实质条件pq为真

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.

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

Professor Zhang Qing-yu gets paraconsistent modal proposition logic C〓G'on the base ofCosta's paraconsistent proposition logic system C〓.

张清宇教授在科斯塔的弗协调命题逻辑系统C 的基础上得到弗协调模态命题逻辑系统CnG＇。

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.

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

Go to your desktop and right click in a blank space.

请到您的桌面，然后右击一个空白。

Tara appears in Buddhism, Jainism, and particularly, Tibetan Lamaism, as a complex array of manifestations: goddess of ascetism and mysticism, mother creator, protectress of all humans as they cross the sea of life.

度母出现在佛教，耆那教里面，尤其是西藏的喇嘛教，作为一系列的陈列阵容；神秘的女神，创世之母，人类横过生命之海洋的女性保护者。