矛盾命題 的英文怎麼說
中文拼音 [máodùnmìngtí]
矛盾命題
英文
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;...
-
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
給出了命題邏輯中任一命題公式的真值表的生成演算法與命題公式類型的判定演算法,實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出,以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。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
摘要速射轉管炮的使用成功地解決了射速高、壽命長、后坐力小三者之間的矛盾,但另一方面也給艦炮火控系統帶來了新的問題。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
隨著以計算機技術和網路技術為核心的信息技術的發展和普及,網上教學成為當今教育界的熱門話題。作為傳統教學方式的有益補充,它不僅能夠實現傳統教育的功能,而且具有許多獨特的優勢:諸如教學資源共享、教學時空分離、更有利於因材施教等,從而成為在「信息時代」解決「知識爆炸」與「學習時間有限」的矛盾以及「從教人員不足」與「受教人員增加」的矛盾的有效途徑,也為實行「全民教育」 、 「終身教育」提供了可靠的物質基礎和技術保障,如何開發更多基於網路的教學資源成為教育工作者的使命。Based on this, the present paper eliminates the liar paradox and points out that it is a pseudo paradox
對內容不明的自指命題作真假對錯的評判,不可能給出確定的結論,但也不會出現矛盾。Either of two propositions related in such a way that it is impossible for both to be true or both to be false
矛盾命題兩個互相關聯的不可能同為正確或錯誤的命題中的一個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
摘要應把「自指代命題」從「自指命題」中區分出來,前者違反同一律,作代換還可能違反矛盾律,因此禁止使用自指代命題。" 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
這樣一來, 「國家干預法治化」中的「法治」就只能解釋為形式理性法之治,但這種形式理性法之治與國家干預實質化的特點是不相吻合的,因此,這一命題遮蔽了國家干預與法治之間潛在的矛盾和沖突, ?簡單套用這一命題並將其作為經濟法的追求目標,並不利於經濟法自身的發展。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系統的無矛盾性。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
盡管問題經常困擾著你,盡管矛盾會升級,然而生命的美好會靜悄悄的、無聲無息的變得更加強大,並蘊涵著更豐富的信念和意義。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
大學的使命是高等教育理論研究的一個重要問題,知識經濟的出現、高等教育大眾化的實現把大學推向社會的中心。在這樣的情況下,大學的理想與現實之間就出現了矛盾,大學究竟應該適應社會還是超越社會,這是一個存在重要分歧的問題。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
經濟全球化,社會轉型,網路信息社會的到來,科技革命給大學生的道德觀念、道德情感以及行為帶來了雙重影響,東西文化的交匯碰撞,加劇了大學生道德發展的矛盾性和復雜性;高校教育方面,高校道德教育存在「德育首位」名存實亡,德育目標過于理想化,教育內容的安排欠合理,德育方法單一,德育工作者隊伍不穩和素質不高等問題,是大學生道德素質方面存在問題的重要原因;大學生自身存在的缺陷和不足是這些問題形成的內在原因。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
特別是對構建於工業機械時代的傳統專利法理論提出了巨大的挑戰。促使我們去思考基因作為客觀存在的化學物質到底是發明還是發現、基於與生命的天然聯系對基因及其科技予以專利法律保護是否存在倫理道德問題、基因專利的條件以及基因專利與基因資源的保護和利用之間的矛盾等問題。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年代中期以來掀起熱潮的公司治理結構研究的核心問題。分享友人