真命題 的英文怎麼說
中文拼音 [zhēnmìngtí]
真命題
英文
true statement-
The adjudicative fact is different from the objective fact, is only a relative fact, and concerns the question of the truth or falsehood
裁判事實不同於這種意義上的絕對事實,它只是一種相對事實,而且作為事實命題存在真假問題。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
給出了命題邏輯中任一命題公式的真值表的生成演算法與命題公式類型的判定演算法,實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出,以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。Some propositions are true for any truth value of their variables. such propositions are called tautology.
某些命題對于變元后的任何一種真值狀況,它均為真,這樣的命題稱為重言式。Historically, a cornerstone of classical empiricism has been the notion that every true generalization must be confirmable by specific observations
歷史上,經典經驗論立基於此一觀念之上:每個真實的歸納命題必須能被個別觀察所證實。Truth degree of intuitionistic fuzzy propositional logic formula
直覺模糊命題邏輯公式的真度Based on this, the present paper eliminates the liar paradox and points out that it is a pseudo paradox
對內容不明的自指命題作真假對錯的評判,不可能給出確定的結論,但也不會出現矛盾。On truth table ' s judging function in compound assigning a topic
淺析真值表在復合命題中的判定作用The application of implication proposition real value sheet and its defect
蘊涵命題真值表的應用及缺陷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
裁判事實如果不符合客觀事實,這一裁判事實作為一種事實判斷就是一個偽命題;同時,如果裁判事實不符合規范事實,即使它符合客觀事實,也就是說這一事實判斷也是一個真命題,但在法律上它只是一個無意義的命題,不能作為權利義務關系產生、變更和消滅的依據。Thread safety is not an all - or - nothing proposition
線程安全不是一個非真即假的命題Object for the duration of the iteration. as the above example shows, thread safety is not all - or - nothing. the methods of
如上面的例子所示,線程安全性不是一個非真即假的命題。Unfortunately, thread safety is not an all - or - nothing proposition, and it is surprisingly difficult to define
不幸的是,線程安全並不是一個非真即假的命題,它的定義出人意料的困難。Propositions, genuine propositions and pseudo - propositions
命題及其真偽問題" 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
摘要英國浪漫主義詩人濟慈所提出的「消極感受力」的命題中所包蘊的現代性、后現代性思想和詩與藝術本真超越塵俗的精神在濟慈研究,外國文學研究與文藝理論批評中都未得到完全,充分,足夠的重視。Theory of truth degrees in lukasiewicz n - valued propositional logic
值命題邏輯中命題的真度理論Theory of truth degree in lukasiewicz 3 - valued propositional loggic
三值命題邏輯中命題的真度理論Probability truth degree of intuitionistic fuzzy propositional logic system
直覺模糊命題邏輯公式的概率真度Distribution of propositional truth degree in some 3 - value propositional logic systems
幾個三值命題邏輯系統中命題真度的分佈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
同時,語文教師及命題專家應在語文試題中體現對詩歌教學的正確引導,讓試題真正能檢驗學生的語文能力,檢驗詩詞經典中的人文精神多大程度上內化到他自己的思想感情中去了。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中介命題邏輯系統中是成立的。分享友人