邏輯命題 的英文怎麼說
中文拼音 [luómìngtí]
邏輯命題
英文
logic proposition- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 題 : Ⅰ名詞1. (題目) subject; title; topic; problem 2. (姓氏) a surname Ⅱ動詞(寫上) inscribe; write
- 邏輯 : logic
- 命題 : 1 (出題目) assign a topic; set a question 2 [邏輯學] (表達判斷的句子) proposition; statement;...
-
Legal logic is useful in the processes of commanding legal concept, using legal concept, upbuilding and grasping proposition logically and carrying on legal reasoning accordingly, and doing logic reasoning for the legal arbitrament and legal ideas which are to be made
法律邏輯有助於準確掌握和運用法律概念,合乎邏輯地建立和把握命題並進行法律推理,對即將作出的法律裁決或法律意見進行邏輯論證。Metric structures on boolean algebras and an application to propositional logic
代數上的度量結構及其在命題邏輯中的應用Based on paper [ 1 ] and [ 2 ], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally
摘要在文[ 1 ]和文[ 2 ]的基礎上,給出了命題邏輯中任一命題公式的主析取範式和主合取範式的自動生成演算法,並實現了多個命題公式主範式的同時形式化輸出。Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )
第三部分:關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊)中引進量詞和謂詞,建立格值模態一階邏輯系統lmf (廣並給出其語又解釋和語法結構,證明了系統的可靠性和協調性;另外,為了判斷公式的可滿足性,定義了格值模態一階公式的skolem標準型和體解釋;在此基礎上,對基於系統lmf ( )的a一歸結原理進行了初步探討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
給出了命題邏輯中任一命題公式的真值表的生成演算法與命題公式類型的判定演算法,實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出,以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。In this thesis, reasning based medel and resolution principle are deeply studied, and using netal network partly driplement automated reasoning
本文在對命題邏輯系統的模型推理和歸結原理研究的基礎上,嘗試利用神經網路部分實現自動推理。Based on the production of other researchers such as professor xu yang and professor qin keyun, this paper discusses the structure and properties of lattice implication algebra, tautologies in some lattice - valued systems, automated reasoning methods, lattice - valued prepositional logic system
本文的工作是在徐揚教授、秦克雲教授等研究成果的基礎上,對格蘊涵代數的性質、結構、格值命題邏輯系統中的重言式、自動推理方法、格值命題邏輯系統等進行了一些研究。Up to now, there has been ten years for the research of dynamic fuzzy logic ( dfl ) and a series of achievements have been made. in order to further expand the applications of dfl, this thesis followed dijkstra ’ s guarded commands and put forward an operational semantics model of dfl programming language which can solve dynamic fuzzy problems
動態模糊邏輯( dfl )的研究已有十年的時間了,目前已取得了一系列研究成果,為了進一步拓展這些研究成果的應用,本文借鑒dijkstra的監督命令程序結構,通過結構化操作語義描述方法從軟體理論方面進行研究,提出了動態模糊邏輯程序設計語言( dflprogramminglanguage )的操作語義模型,以期形成解決動態模糊性問題的程序設計方法。About theorem, the paper introduces the syntax of ideal, also the first time uses concept of honest ideal to define secrecy goal of protocol and utilizes honest ideal logic to specify secrecy property. at the same time, this paper corrects one not so perfect lemma proving in a literature written by f " abrega, herzog and guttman
在理論上,本文引入了理想的語義,並首次使用了理想的概念對安全協議的秘密性進行嚴格的定義,同時使用理想的命題邏輯公式表示安全協議的秘密性;另外,本文修正了f ' abrega 、 herzog和guttman三人文獻中的一個引理的證明,原有的證明是不完善的。Truth degree of intuitionistic fuzzy propositional logic formula
直覺模糊命題邏輯公式的真度It is not the mission of this thesis to solve or defend for the currently prevalent legitimacy crisis proposition of the patent system and the bio - tech inventions patent regime particularly from a stand outside the patent system ; rather, the mission hereof is to from a stand inside the patent system, by means of a deep logical analysis of the patent system per. se one hand, and a technological interpretation of the statutes and regulations on bio - tech inventions patent on the other hand, to dissolve the various doubts and misconcepts about bio - tech inventions patent regime, and eventually accomplish the establishment that both the patent system and the the bio - tech inventions patent regime are inherently of practical rational nature
本文作者不企圖從制度外對時下流行的關于專利制度及生物技術發明專利制度的合法性危機命題作出正面解答或辯護;而是試圖從制度內一方面通過對專利法理論的邏輯梳理,另一方面通過對生物技術發明專利立法與實踐文本的技術解讀,來消解人們對生物技術發明專利制度的種種疑慮和誤解,最終完成專利制度及生物技術發明專利制度是實踐理性的產物的論證。Part two the study of lattice - valued tense propositional logic system and its resolution method the main work of this part is to introduce four tense operators e ( ever ), f ( will ), h ( ever always ) and g ( will always ) into lp ( x ), put up lattice - valued tense propositional logic system ltp ( x ) which takes time axis as language circumstance, gave detailed semantic interpretation and syntax structure, and discussed some properties of it, then proved soundness theorem and consistence theorem. furthermore, studied ( a, t ) - resolution principle which is related to time, gave some rules of computing tense resolvent, and put forward the method of tense resolution
第二部分:關于格值時態命題邏輯系統及其歸結方法的研究此部分的主要工作是在格值命題邏輯系統lp ( x )中引進時態運算元e (曾經) 、 f (將會)及其對偶運算元h (曾經總是) 、 g (將會總是) ,提出了以時軸為語境的格值時態命題邏輯系統ltp ( x ) ,並給出其具體的語義解釋和語法結構,並討論了它的一些性質,證明了該系統的可靠性和協調性。The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm are new logic systems. they are fit for dealing with incomplete information
中介邏輯命題演算系統mp ~ m和中介邏輯謂詞演算系統mf ~ m是一種適用於處理不完全信息的新的邏輯系統。Study of flexible logic based on universal logic
基於泛邏輯學的柔性命題邏輯研究Secondly, in the theory of gl with the four rules of producing such as generator rule, generating radix rule, rule of basis space changing, developing order rule, gpl can produce all kinds of basic operation model with other logic such as classical propositional logic, three - value logic, fuzzy logic and broad sense fuzzy logic. finally, it proved that a material logic can be produce by gpl. and it shows the universality gpl can contain most logic
眾所周知,邏輯學家正是利用這些定義證明了該邏輯的全部推理規則,建立起了整個命題邏輯體系;然後我們直接利用命題泛邏輯學的生成規則,通過對廣義相關系數h的不同取值也同樣生成了這些運算模型,也就是說直接生成了這個命題邏輯;這個生成過程還揭示了各種運算模型的物理意義和使用條件,也就是說揭示了各種命題邏輯的物理意義和使用條件。Propositional logic - based method of liquid rocket engine fault diagnosis
液體火箭發動機故障診斷的命題邏輯方法The classification of propositions on the basis of whether they assert or deny the possibility, impossibility, contingency, or necessity of their content
模態邏輯命題的限制條件,建立在其內容的肯定或否定其可能性,不可能性,偶然性或必然性基礎之上The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm is a new logic system modified from the existing medium logic system. this system is fit for dealing with incomplete information. it can act as the theory foundation for dealing with incomplete information
中介邏輯命題演算系統mpm和中介邏輯謂詞演算系統mfm是在改造原有的中介邏輯系統的基礎上提出的一種新的邏輯系統,該邏輯系統特別適用於處理不完全信息,可以作為處理不完全信息的理論基礎。Chapter one the general theories of truth of fact. firstly, the author makes a semantic distinction between “ fact ” and “ truth ”, and points out that “ fact ” and “ truth ” are not only concepts in the ontological sense but also concepts in the epistemological sense. in the epistemological sense, “ fact ” means judgment proposition and “ truth of fact ” shows that “ fact ” is concept of judgment proposition of truth and “ truth ” is attribute of judgment of “ fact ”
在堅持以辯證唯物主義認識論為指導的前提下,運用語義分析和邏輯分析方法對案件事實真實性進行了語義上的界定和邏輯命題意義上的分析,指出案件事實是以真實性為基礎和核心的人的認識和判斷的產物。In this paper, a new type algebra is introduced, it is the algebraic abstract of mpm system just as boolean algebra is the algebraic abstract of 2 - valued propositional calculus. the main purpose of this paper is to investigate the various properties of the new algebra. in addition, this paper constructs an axiom set based on the medium logic propositional calculus system mpm, and gives a proof of its completeness
本文通過對mpm中介邏輯命題演算系統進行代數抽象,建立了一個新的代數系統,討論了該代數系統的性質,並利用該代數系統的代數性質構造了中介命題演算系統mpm上的一個公理完備集合,使用該公理集合可以方便的推導出mpm上的等值和互推公式,這對于處理不完全信息數據庫的查詢優化有著重要作用。分享友人