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

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

Objective:To compare the response control and attention of Schizophrenic patients with that of the healthy controls by Integrated Visual and Auditorycontinuous performance test. To quantitate the impairment of cognitive function in patients, and to explore the relationship between cognitive function and the severity of the disorder.

目的：探讨精神分裂症病人在IVA持续操作测试中的反应控制能力、注意力等，并与健康人进行比较，从而量化精神分裂症病人的认知功能损害，并进一步探讨其认知功能与疾病严重程度的关系。

Main effective factors including subcooling degree, mechanical vibration, gas hydrate reformation, environment temperature, noncondensing gas and surfactant are analyzed.

指出过冷度、机械振动、重复生成水合物、环境温度、不凝性气体、添加剂是影响气体水合物生成的主要因素，还对R152a水合物的放冷进行了实验研究。