矛盾命題 的英文怎麼說

中文拼音 [máodùnmìng]
矛盾命題 英文
contradictory propositions
  • : 名詞(古代兵器) spear; lance; pike
  • : 名詞1. (盾牌) shield2. (荷蘭、越南、印度尼西亞等國的本位貨幣) guilder (荷蘭); dong (越南); rupiah (印度尼西亞)
  • : Ⅰ名詞1. (題目) subject; title; topic; problem 2. (姓氏) a surname Ⅱ動詞(寫上) inscribe; write
  • 矛盾 : 1 [哲學] [邏輯學] (在唯物辯證法中指對立統一關系; 在形式邏輯中指兩個概念互相排斥或兩個判斷不能同...
  • 命題 : 1 (出題目) assign a topic; set a question 2 [邏輯學] (表達判斷的句子) proposition; statement;...
  1. Using these algorithms, we can use computer mechanically to list truth value table of a group of propositional formulae, determine that if a given propositional formula is a tautology, a contradiction, or if the formula is satisfiable

    給出了邏輯中任一公式的真值表的生成演算法與公式類型的判定演算法,實現了利用計算機對有限多個公式的真值表的直接計算和輸出,以及對一個公式是重言式、式或可滿足式的機械判定。
  2. The use of the rapid - fire revolving barrel gun successfully solves the contradiction between high firing rate, long life time and small recoil, but on the other hand brings on a new problem to naval gun fire control system

    摘要速射轉管炮的使用成功地解決了射速高、壽長、后坐力小三者之間的,但另一方面也給艦炮火控系統帶來了新的問
  3. Along with the development of modern education technology which bases on the kernel of multi - media computer and network technology, teaching on line has become more and more fashionable. as a supplementary for traditional teaching method, it not only has the function of traditional teaching method but also has some characteristic such as sharing the teaching resource, separating teaching time and space, advantageous for suiting teaching methods to students and etc. it became an efficient way to solve the contraditions between the knowledge explosion and study time limited, lt is also an dfficient way to solve the contradition between shot of teacher and increasement of learner. lt proved the fundation and technological guarantee to put the policy into practice that entire nation in education and education in all one ' s life. so it is quite worthwhile for all educators to consider how to develop more and better networked teaching resources and it became an important mission to them

    隨著以計算機技術和網路技術為核心的信息技術的發展和普及,網上教學成為當今教育界的熱門話。作為傳統教學方式的有益補充,它不僅能夠實現傳統教育的功能,而且具有許多獨特的優勢:諸如教學資源共享、教學時空分離、更有利於因材施教等,從而成為在「信息時代」解決「知識爆炸」與「學習時間有限」的以及「從教人員不足」與「受教人員增加」的的有效途徑,也為實行「全民教育」 、 「終身教育」提供了可靠的物質基礎和技術保障,如何開發更多基於網路的教學資源成為教育工作者的使
  4. Based on this, the present paper eliminates the liar paradox and points out that it is a pseudo paradox

    對內容不明的自指作真假對錯的評判,不可能給出確定的結論,但也不會出現
  5. Either of two propositions related in such a way that it is impossible for both to be true or both to be false

    矛盾命題兩個互相關聯的不可能同為正確或錯誤的中的一個
  6. No certain conclusion or contradiction will be reached when we try to judge whether a self - reference proposition with unclear content is true or false

    摘要應把「自指代」從「自指」中區分出來,前者違反同一律,作代換還可能違反律,因此禁止使用自指代
  7. " substantive " conception of the rule of law per se is questionable. in other words, conception of the rule of law in ordinary sense is " formal " conception of the rule of law. accordingly, " rule of law " in the thesis - - " state intervention governed by the rule of law ", which is only

    這樣一來, 「國家干預法治化」中的「法治」就只能解釋為形式理性法之治,但這種形式理性法之治與國家干預實質化的特點是不相吻合的,因此,這一遮蔽了國家干預與法治之間潛在的和沖突, ?簡單套用這一並將其作為經濟法的追求目標,並不利於經濟法自身的發展。
  8. Followed the proving of validness of axioms is the proving of soundness and consistency for the negotiation logic. based on a series of propositions and lemmas, the completeness of the negotiation logic is proved by construction. then the logic completeness and the consistency of ctn system are presented

    在對公理的有效性進行證明之後,證明了協商推理邏輯的可靠性和無性;在得出的一系列和引理基礎上,以構造的方法證明了協商推理邏輯的完全性,最後得出協商推理邏輯的完備性和整個ctn系統的無性。
  9. Though the problems constantly scream for attention and the conficts appear to rage ever stronger, the goodness of life grows stronger still, quirtly, peacefully, with more purpose and meaning than ever before

    盡管問經常困擾著你,盡管會升級,然而生的美好會靜悄悄的、無聲無息的變得更加強大,並蘊涵著更豐富的信念和意義。
  10. Knowledge economy and mass higher education gradually push the university to the centre of the society, which will consequentially generate contradiction between reality and ideal, and points in educational theoretical circle diverge greatly on whether it should adapt to or transcend the society

    大學的使是高等教育理論研究的一個重要問,知識經濟的出現、高等教育大眾化的實現把大學推向社會的中心。在這樣的情況下,大學的理想與現實之間就出現了,大學究竟應該適應社會還是超越社會,這是一個存在重要分歧的問
  11. The reasons on present university students " moral quality are completicated, the coming of global economy, shifting social patterns and net informative world, technological revolution has caused double effects on students " moral outlook, emotion and behavior. the mingle of eastern and western culture has intensified the contradictory and complexity of students " moral development. from the angle of university education, there exists several problems : " the first place of moral education " exists in name only ; the goal of moral education is over idealistic ; the contents arrangements of moral education is less reasonable ; the methods of moral education is too single ; the working staff of moral education is not stable and weak in self - quality

    經濟全球化,社會轉型,網路信息社會的到來,科技革給大學生的道德觀念、道德情感以及行為帶來了雙重影響,東西文化的交匯碰撞,加劇了大學生道德發展的性和復雜性;高校教育方面,高校道德教育存在「德育首位」名存實亡,德育目標過于理想化,教育內容的安排欠合理,德育方法單一,德育工作者隊伍不穩和素質不高等問,是大學生道德素質方面存在問的重要原因;大學生自身存在的缺陷和不足是這些問形成的內在原因。
  12. The traditional patent law theory, with the age of mechanic industry as its basis, which encourages us to consider such questions as whether a gene, as an objective chemical substance was invented or discovered ; whether there are any ethical problems in the legal protection for genes an gene technology based on their natural connections with life ; what are the prerequisites for gene patent and how to solve the contradictions between eene patent and protection and utilization of gene resources

    特別是對構建於工業機械時代的傳統專利法理論提出了巨大的挑戰。促使我們去思考基因作為客觀存在的化學物質到底是發明還是發現、基於與生的天然聯系對基因及其科技予以專利法律保護是否存在倫理道德問、基因專利的條件以及基因專利與基因資源的保護和利用之間的等問
  13. Since the year of l932 the proposition " t separation of ownrship and control " was preseoted by a. berle and g. means in his initiated practical research, it has kept being one of the most importam aspects for the research of the colltradcton of principal - agent of the interest of ownr and manager in corporation caused by the proposition. it also becomes the core problem in the research of corporate govemance which reached the high tide since the middle of 80 " s

    自1932年貝利-米恩斯在其創造性的實證研究中提出「所有權和控制權分離」的以來,對由此而產生的股份公司中所有者和經營者利益的不一致所出現的委託一代理成為經濟學者研究的重心,也成為80年代中期以來掀起熱潮的公司治理結構研究的核心問
分享友人