邏輯真 的英文怎麼說
中文拼音 [luózhēn]
邏輯真
英文
logical truth-
There ' s another logic operation called exclusive or, in which the compound sentence is false, not true, if and only if all the components are true
還有另外一種邏輯操作叫做異或:當且僅當所有的成員為真時,結果才為假。 」Logic to the contrary is also proof that america has been feminized, sad, but true. repent ye double minded
這種矛盾的邏輯證明美國人已經女性化了,真悲哀,但這是事實。為你們的思想動搖懺悔吧。With the change and improvement of science knowledge, the irrationalism on the theories of knowledge has been turned from fideism which have blind faith in external authority to the intuitionism trusting internal instinct, but their common point is to negate that science knowledge is the product of human ' s logic reasoning, and not to believe that human rational can judge truth from falsehood
摘要科學知識的發展變化與進步,使知識論中非理性主義由中世紀迷信外在權威的信仰主義,轉向現代信任內在本能的直覺主義,但其共同點是否定科學知識是人類運用邏輯理性思維的產物,不相信人類理性能夠判斷真理與謬誤。In what seemed a logical extension, we have tried, a bit naively, to use macroscopic imagery to describe submicroscopic entities.
似乎是作為這種做法的一種邏輯推廣,我們有點天真地試圖用宏觀形象來描述亞微觀體。With the development of electronics and microcomputer, microprocessor - based protection has advanced. but much of than are just the republication of the electromechanical and electronic protection. many advantages of the computer, such as nunerical evaluation data storage and logical decision, is n ' t used
異步電動機保護的研究由來已久,隨著電子和微機技術的發展,異步電動機微機保護也得到了大力的發展,但很多僅是機電式和電子式保護的翻版,沒有真正利用微機所具有強大的數值計算能力、數據存儲能力和邏輯判斷能力,使保護更加的精確、可靠和智能化。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
給出了命題邏輯中任一命題公式的真值表的生成演算法與命題公式類型的判定演算法,實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出,以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。When listening to mechanism of inferior public security to represent a report, should to it look communication, show the posture movement that oneself listen attentively to seriously in order to nod first class what match, the person that can ask in time to report to the very not clear problem in the report repeats, explanation, also can quiz appropriately, but the problem that should notice to carry is logical, unapt the train of thought that interrupts report of the other side
聽取下級公安機關代表匯報時,應與之目光交流,配之以點頭等表示自己認真傾聽的體態動作,對匯報中不甚清楚的問題可及時要求匯報者重復、解釋,也可以適當提問,但要注重所提的問題合乎邏輯,不至於打斷對方匯報的思路。Besides the common characters of exploring teaching, such as the scientificalness, processiveness, applicableness, participantness, openingness, multiformity, creativeness and so on, the high school history exploring teaching still has itself characters. these characters are the following 3 unifications : the first unification lies in the exploring intention. the seek truth and practicality are unified
中學歷史探究教學除具有探究教學的科學性、過程性、應用性、參與性、主體性、開放性、多樣性和創造性等共同特點外,還具有獨特的學科特點,具體表現為三個方面的統一:在探究目的上求真與致用的統一,在探究內容上廣泛性與選擇性的統一,在探究方法上邏輯推理與具體體驗的統一。It can be extended to fuzzy logic systems and some lattice - valued logic systems. 3. the study on automated reasoning a new automated reasoning method based on path searching was proposed
2 、提出一種利用神經邏輯單元動態地構造神經網路的演算法來對一些邏輯系統中的邏輯公式的真值進行計算。In civil lawsuit, the setting of the criteria of civil lawsuit should be of dialectical unification of subjectivity and objectivity 、 justness and efficiency 、 commonness and individuality. in the subjective sense, we should judge their credibility, adherent to, no suspicion of intime conviction principally and suspicion of intime conviction subsidiarily in psychology ; to proof beyond a reasonable doubt in logic 、 to highly probability and preponderance of probability. in the objective sense, we should employ subjective facts as ratifying criterion
具體到民事訴訟中,證明標準設置應以主觀與客觀的辯證統一、公正與效率的辯證統一、共性與個性的辯證統一為原則,在主觀方面,堅持心理學上以內心確信無疑為主體、內心確信有疑為補充,邏輯學上依次以排除一切合理懷疑、高度蓋然性、優勢蓋然性為標準進行裁斷;在客觀方面,以「客觀真實」為衡量標準。Theory of truth degree based on the finite interpretation and enumerable interpretation of fuzzy predicate logic formulas
模糊謂詞邏輯公式的有限和可數解釋真度理論Theory of truth degree of first - order fuzzy predicate logics formulas based on the finite interpretation and enumerable interpretation and its application
一階模糊謂詞邏輯公式的有限解釋真度和可數解釋真度的理論及其應用Through the intensional interpretation, first - order language gets more close to the semantics of natural language, and is truly neutral to all kinds of subject matter
比之於外延語義的解釋,內涵語義的解釋使一階語言更接近於自然語言的語義,而且也使一階邏輯對各種題材真正保持了邏輯的中立性。Intj ( introverted intuiting with thinking ) : these are the most independent of all types. they love logic and ideas and are drawn to scientific research. they can be rather single - minded, though
內向,藉由思考觀察) :這是所有類型中最獨特的。他們愛好邏輯以及構想,而可發展成科學研究。然而,他們相當率真一心一意,專心致志。Truth degree of intuitionistic fuzzy propositional logic formula
直覺模糊命題邏輯公式的真度Reflection on several historic questions about logic truth
對邏輯真幾個問題的再檢討It shows that jin ' s fruitful thoughts in establishing the new view of logical truth are still illuminating in many aspects to our research today and should be further explored
後期金岳霖在探索新型邏輯真理觀的過程中提出的豐富思想,迄今仍有多方面不容忽視的研究價值。Based on the careful study of jin yuelin ' s works written in his later years, this paper explores jin ' s contribution to the study of logical truth and its significance
摘要1957年之後,金岳霖的學術研究進入了一個新的發展時期,逐步形成了「反映性與規范性相統一」的新型邏輯真理觀,並給出了嚴整系統的闡發與論證。On the modal implication of conditional proposition - and that any logical truth can not hold on absolutely without considering any empirical fact
兼論邏輯真理不能完全獨立於經驗事實之外Analysis of logical truth and actual truth from the standpoint of essential characteristics
從真理的本質特性看邏輯真理與事實真理分享友人