真命題 的英文怎麼說

中文拼音 [zhēnmìng]
真命題 英文
true statement
  • : Ⅰ形容詞(真實) true; genuine; real Ⅱ副詞1 (的確; 實在) really; truly; indeed 2 (清楚確實) cl...
  • : Ⅰ名詞1. (題目) subject; title; topic; problem 2. (姓氏) a surname Ⅱ動詞(寫上) inscribe; write
  • 命題 : 1 (出題目) assign a topic; set a question 2 [邏輯學] (表達判斷的句子) proposition; statement;...
  1. The adjudicative fact is different from the objective fact, is only a relative fact, and concerns the question of the truth or falsehood

    裁判事實不同於這種意義上的絕對事實,它只是一種相對事實,而且作為事實存在假問
  2. 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

    給出了邏輯中任一公式的值表的生成演算法與公式類型的判定演算法,實現了利用計算機對有限多個公式的值表的直接計算和輸出,以及對一個公式是重言式、矛盾式或可滿足式的機械判定。
  3. Some propositions are true for any truth value of their variables. such propositions are called tautology.

    某些對于變元后的任何一種值狀況,它均為,這樣的稱為重言式。
  4. Historically, a cornerstone of classical empiricism has been the notion that every true generalization must be confirmable by specific observations

    歷史上,經典經驗論立基於此一觀念之上:每個實的歸納必須能被個別觀察所證實。
  5. Truth degree of intuitionistic fuzzy propositional logic formula

    直覺模糊邏輯公式的
  6. Based on this, the present paper eliminates the liar paradox and points out that it is a pseudo paradox

    對內容不明的自指假對錯的評判,不可能給出確定的結論,但也不會出現矛盾。
  7. On truth table ' s judging function in compound assigning a topic

    淺析值表在復合中的判定作用
  8. The application of implication proposition real value sheet and its defect

    蘊涵值表的應用及缺陷
  9. If the adjudicative fact does n ' t match with the objective fact, the adjudicative fact as a factual statement is false statement ; if the adjudicative fact does n ' t match with the normative fact, the adjudicative fact is just a meaningless statement in the domain of law even though the factual statement matches with the objective fact and is true statement, and can not be used as the basis of the coming into being, changing and terminating of the relationships of the right and liability

    裁判事實如果不符合客觀事實,這一裁判事實作為一種事實判斷就是一個偽;同時,如果裁判事實不符合規范事實,即使它符合客觀事實,也就是說這一事實判斷也是一個真命題,但在法律上它只是一個無意義的,不能作為權利義務關系產生、變更和消滅的依據。
  10. Thread safety is not an all - or - nothing proposition

    線程安全不是一個非即假的
  11. Object for the duration of the iteration. as the above example shows, thread safety is not all - or - nothing. the methods of

    如上面的例子所示,線程安全性不是一個非即假的
  12. Unfortunately, thread safety is not an all - or - nothing proposition, and it is surprisingly difficult to define

    不幸的是,線程安全並不是一個非即假的,它的定義出人意料的困難。
  13. Propositions, genuine propositions and pseudo - propositions

    及其偽問
  14. " negative capability " refered by english romantic poet - john keats contains the modern and post modern thoughts, and it relates the super and meta nature of art and poem, but in foreign literature study, literary critique and theory, it has not been highlighted and explained adequately

    摘要英國浪漫主義詩人濟慈所提出的「消極感受力」的中所包蘊的現代性、后現代性思想和詩與藝術本超越塵俗的精神在濟慈研究,外國文學研究與文藝理論批評中都未得到完全,充分,足夠的重視。
  15. Theory of truth degrees in lukasiewicz n - valued propositional logic

    邏輯中度理論
  16. Theory of truth degree in lukasiewicz 3 - valued propositional loggic

    三值邏輯中度理論
  17. Probability truth degree of intuitionistic fuzzy propositional logic system

    直覺模糊邏輯公式的概率
  18. Distribution of propositional truth degree in some 3 - value propositional logic systems

    幾個三值邏輯系統中度的分佈
  19. Meanwhile, chinese teachers as well as experts on setting questions should make sure the right directing of poetry teaching appears in examination questions. make sure examination questions can really check the language ability of the students. understanding the spirit of humanism in poetry can more or less permeate his / her own feelings

    同時,語文教師及專家應在語文試中體現對詩歌教學的正確引導,讓試正能檢驗學生的語文能力,檢驗詩詞經典中的人文精神多大程度上內化到他自己的思想感情中去了。
  20. This axiom set consists of fifteen equations, and it is easier to prove and deduce the identity equations of the mpm system. then, this paper introduces the concept of truth degrees of propositions based on the probability space in mpm logic system and discusses some properties. it is proved that general reference rules with truth degrees are hold in mpm logic system

    隨后,本文在概率空間的基礎上,將度的概念引入mpm中介邏輯系統中,並討論其上的一些性質,證明一般度mp規則和hs規則在mpm中介邏輯系統中是成立的。
分享友人