命題邏輯公式 的英文怎麼說

中文拼音 [mìngtíluógōngshì]
命題邏輯公式 英文
formula of propositional logic
  • 題 : Ⅰ名詞1. （題目） subject; title; topic; problem 2. （姓氏） a surname Ⅱ動詞（寫上） inscribe; write
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 公 : Ⅰ形容詞1 （屬于國家或集體的） state owned; collective; public 2 （共同的;大家承認的） common; gen...
  • 式 : 名詞1 （樣式） type; style 2 （格式） pattern; form 3 （儀式; 典禮） ceremony; ritual 4 （自然科...
  • 命題 : 1 （出題目） assign a topic; set a question 2 [邏輯學] （表達判斷的句子） proposition; statement;...
  • 邏輯 : logic
  1. 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 ]的基礎上，給出了命題邏輯中任一命題公式的主析取範式和主合取範式的自動生成演算法，並實現了多個命題公式主範式的同時形式化輸出。
  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一歸結原理進行了初步探討
  3. 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

    給出了命題邏輯中任一命題公式的真值表的生成演算法與命題公式類型的判定演算法，實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出，以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。
  4. 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三人文獻中的一個引理的證明，原有的證明是不完善的。
  5. Truth degree of intuitionistic fuzzy propositional logic formula

    直覺模糊命題邏輯公式的真度
  6. Generating sat instances from first - order formulas

    由一階邏輯公式得到命題邏輯可滿足性問題實例
  7. Probability truth degree of intuitionistic fuzzy propositional logic system

    直覺模糊命題邏輯公式的概率真度
  8. Regular similarity relation on f in propositional logic

    命題邏輯公式集上的正則相似關系
  9. Bassing on the theory of equivalent calculates, this paper utilizes the data structure and c + + program design language, to analyze the logic structure of proposition formula, designs the saving structu - re that use the broad sense menu chained list, and explored to beg for in this foundation how to carry out its basic operation, thus and further clarifying the computer implementation algorithm of the complicated equivalent calculation

    本文針對等值演算理論，通過數據結構和c + +程序設計語言，分析了命題公式的邏輯結構，設計出用廣義表單鏈表的存儲結構，並在此基礎上探討了如何實現其基本操作，從而進一步闡明了復雜等值演算的計算機實現演算法。
  10. 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上的等值和互推公式，這對于處理不完全信息數據庫的查詢優化有著重要作用。
  11. 2. numerais system of propositional calculus nend netwrk deals with data, but it is a formula set in proposihonal calculus

    命題邏輯系統的數字化神經網路的處理對象是數據，而命題邏輯系統的處理對象是命題公式集。
  12. Valuationally decided formula question in ukasiewicz propositional logic systems

    命題邏輯系統中的賦值決定公式問題
  13. This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web. the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment. in order to represent knowledge, logical formula, relational axioms and rules, there is a need for primitives specifying prepositional formula, predictive formula and horn clause, and relations between properties and relational axiomx

    本文對web語義化過程中部分關鍵問題和基於語義化web的kms進行了研究，主要的創新性工作包括：定義了邏輯公式及關系公理描述原語的ontology語義： web環境中用標記語言描述對象和資源，為了在語義化web上表示知識、邏輯公式、關系公理和規則，需要定義描述命題邏輯公式、謂詞邏輯公式、 horn邏輯的邏輯原語以及描述屬性之間關系的關系原語。
  14. The axiom system of law theory insist : the reasoning of law science is the same as the one of natural science, one proposition is deduced from another proposition, the correctness of the first proposition depends on the correctness of the second proposition, the correctness of the second proposition depends on the third proposition, and so on

    法律的公理體系理論主張:法學的推理與自然科學推理的方式是相同的，都是由一個命題出發經過邏輯推理得出另一個命題。后一個命題的正確性取決於前一個命題的正確性，而前一個命題的正確性又取決于再前一個命題的正確性，一直可以追溯到一個不能再行追問的而必須被確認為真的命題? ?公理，而公理的正確性則取決于公眾的一致承認。
分享友人
分享到 Line

分享到臉書