查询词典 logically true proposition

The principle of confirmation is the foundation stone of the theory of the logocal empiricism and the confirmation about similar proposition or heterogeneous proposition is the major difference between "the Raren Paradox" and logical empiricism.

证实原则是逻辑经验主义的理论基石，对同类命题还是异类命题的证实是"乌鸦悖论"与逻辑经验主义的主要区别。

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 一个重言式和一个命题的逻辑积，与这个命题说的是同一回事情。

Data query for proposition with universal quantifier and data query for implication proposition are two categories of the most practical and difficult data queries.

带有全称量词命题与蕴含命题的数据查询是数据库应用系统中最实用的两类查询，但也是最难的两种数据查询。

And Kant is clear that no one can acquire insight into that proposition merely from attending to the concepts involved, and yet that it is known 'with complete apodictic certainty'.22 We can again understand what Kant means, by regarding the intended transcendental proof as a matter of discovering the presuppositions of having the situated thought that underpins the central proposition.

我们通过视所期待的先验证据为'发现用于巩固核心命题的the situated thought的预设'，我们能再次理解Kant的意指。

There are different types of personal loans available.

有许多不同类型的个人贷款优惠。

The above mentioned teaching model of spiral rising can be used to avoid rigidness in teaching.

上述螺旋式上升的教学模式，可以避免教学形成模式後的僵化现象。