命題公式 的英文怎麼說

中文拼音 [mìngtígōngshì]
命題公式 英文
propositional formula
  • 題 : Ⅰ名詞1. （題目） subject; title; topic; problem 2. （姓氏） a surname Ⅱ動詞（寫上） inscribe; write
  • 公 : Ⅰ形容詞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;...
  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. Firstly, this article summarizes consideration modes appeared in share structure reform into 3 kinds, including share adjustment, cash payment, and warrants issuance, and proves that consideration modes of share adjustment are completely equivalent to each other, and that consideration modes of share adjustment are equivalent to cash payment and cash payment is equivalent to warrants issuance when we neglect some subordinate conditions. then it is concluded that when we neglect the subordinate conditions, all kinds of consideration modes can be unified as anyone of them, and comparison between different simple or even complex consideration modes can be made. thus all kinds of considerations can be converted to a discounted ratio of stock price decline to figure consideration price of any listed companies paid in share structure reform

    本文首先將股權分置改革中的對價方式歸納為股本調整類（非流通股股東向流通股股東送股、非流通股縮股、流通股擴股） 、現金對價和權證對價三大類，通過歸納兩類股東的對價水平評價指標，以及兩類股東的對價效用函數變量在一定條件下的相等，通過七個命題依次證明了股本調整類對價方式的完全等效性，以及在忽略一些次要變量的情況下股本調整與現金對價、現金對價與權證對價的等效性，由此得出在一定條件下可以將股權分置改革中的各種對價方式統一起來，以及不同類或者混合的對價方式之間可以比較對價水平的結論，並通過折算的股價降低率來表示上市公司股權分置改革的對價水平。
  7. As a nondestructive technique to measure the inner fine structure of the cathode, the ict has the unique advantage. we discussed the emission mechanism of thermionic cathode, and tried to explain the excellent performance of mixed metal cathode by richardson formula and muller ' s computational model

    4 ）就當前鋇鎢陰極發射機理的兩個主要理論模型作了自己的探討，並初探了鋇鎢陰極中鋇的供應機制及發射壽命預測的問題，而且用理查遜公式的推導和muller計算機模擬法解釋了混合基鋇鎢陰極的優良性能。
  8. And the results are given in different conditions. in my thesis, the three - dimensional fea model can be used to analyze the contact, while the wear longevity equation is used to calculate the longevity

    本文所提出的刷式密封的三維有限元模型能夠利用ansys對刷式密封的接觸問題進行分析，磨損壽命公式可以計算出刷式密封的磨損壽命。
  9. After data analyses, the main findings can be concluded as following : 1. the system could integrate the diversity of current recruiting system ; reduce the work of recruiting ; improve the quality of the exam ; lighten student ' s burden of preparing for exam ; induce normally teaching in school, etc. 2. the system have also some problems needed to be solved such as dissemination, design of the exam, work reducing, justice and register fees. 3. the study will propose some suggestions to relevant organizations and people

    經分析結果獲致下列主要結論： 1考招分離制度在整合各類多元入學方式、簡化技專校院招生工作、提升入學測驗命題品質、減輕學生重覆應考負擔、發揮學校自主選才特色、掌握學生基礎學力素質、導引技職學校正常教學等目標上確實有成效； 2考招分離制度尚有如宣導、考試設計、作業程序、公平性、報名費用等問題存在； 3本研究就相關問題提出具體建議供教育行政、相關單位及人員參考。
  10. The whole dissertation can be divided into 9 chapters, which are mainly engaged on the comparative theories of the common balance and the partial balance, and the methodology of the demonstration and criterion economics to do the analysis and res earch on the purpose of making relatively thorough and deep assessment on the policy - making and related improvement suggestions on such areas as the implement performance of the agriculture policies, the requirement structure of agriculture, the structure of employment, the basic elements and arrangement of agriculture production, the sustainable development of agriculture and the agriculture internationalization etc. the basic innovative points of the dissertation are as follows : ( 1 ) to establish a systematic framework for the research on the policies of agriculture industry and the structure of agriculture industry ; the framework for grand agriculture industry structure ; the framework of subject relationship in the agriculture socialized service system ; the circulation framework of sustainable development for agriculture ; the model framework for corporation development for agriculture institution ; ( 2 ) to expand the external scope of the concept of agriculture ; ( 3 ) to put forward the ideas of the corporation orientation by restructuring and innovating the present agriculture operational institution ; ( 4 ) to raise the viewpoints to set up the quality standard system for agriculture produce and to initiate the same system of the internal and external trade ; ( 5 ) to offer the suggestions on guiding the development of the township and private enterprises through the industry policies ; ( 6 ) to raise the innovative viewpoint by way of the systematic analysis on agriculture and the employment structure of the countryside, the district arrangement, technological innovation and the marketing system of agriculture produce ; ( 7 ) to put forward the comprehensive thinking way to broaden the logistics services for agriculture produce ; ( 8 ) to raise the new idea of the agriculture supporting system and the policy suggestions on expanding the areas for the government to support agriculture industry, reorganization of agriculture insurance system and aid to the weak masses of the countryside

    本課題是在國家農業產業政策不斷完善和產業經濟學科科學發展的背景下，從農業產業政策的實踐出發，從大農業產業結構、組織、技術、資金、勞動力、土地等資源配置以及區域布局、國內外關聯等角度，以農業產業政策與農業發展的互動關系為切入點，提出了農業產業政策調整取向，初步形成和發展了政策理論。全文共分9章，主要運用一般均衡和局部均衡比較等理論，實證、規范經濟學研究等方法進行探討，對農業產業政策實施績效、農村需求結構、就業結構、農業生產要素和布局、農業可持續發展、農業國際化等命題以及對策建議作了比較全面深入的評析。本課題研究主要有以下創新觀點：初步搭建了農業產業政策和結構理論框架，設計了政策和結構體系圖；延伸了「農業」概念外延，提出了「大農業」的構想；提出了農業產業經營組織再造和創新的公司化發展方向，設置了農業產業化、公司化發展模式圖和產業化公司模型圖；設計了農業可持續發展良性循環圖和農業資金投入效益模型圖；提出了建立農產品質量標準體系、推行內外貿一體制的觀點；建立了農業保障體系參照圖，建議通過產業政策引導鄉鎮、私營企業和「三資」企業發展；剖析農村勞動力就業結構、區域布局、科技創新、農產品市場體系；提出了加大農產品物流配送的整體思路；提出了農業支撐體系新觀念及擴大政府支農范圍、重構農業保險體系、扶持弱勢群體的政策建議。
  11. Generating sat instances from first - order formulas

    由一階邏輯公式得到命題邏輯可滿足性問題實例
  12. Mathematics method of thinking opposite to starched mathematics knowledge is fuller of vitality, mathematics knowledge is a result, but mathematics method of thinking pays attention to the formation of the result ; mathematics knowledge is recorded down with letter, sign, sketch. . etc explicit esse, but mathematics method of thinking usually tacitly exsits in the formation of concept, formula, rule, axioms and the process of problem - solving ; mathematics method of thinking is the knowledge to be placed in the higher than mathematics knowledge, if we assimilate knowledge to a key, then, mathematics knowledge opens the door of a certain realm, but mathematics method of thinking could open the door of the different realm

    相對于數學知識的呆板而言，數學思想方法更富有生命的味道，數學知識是結果，而數學思想方法關注結果的形成過程；相對于數學知識的以文字、符號、圖形等外顯的形態直接記錄下來的存在方式，數學思想方法則常常以內隱的形式存在於概念、公式、法則、定理的形成過程和問題解決的過程之中；數學思想方法是比數學知識處于更高層次上的知識，如果用把知識比作鑰匙，那麼，數學知識開啟的是某一領域的大門，而數學思想方法可以開啟不同領域的大門，比數學知識更富有指導意義。
  13. Probability truth degree of intuitionistic fuzzy propositional logic system

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

    命題邏輯公式集上的正則相似關系
  15. While why the writing of " revolution plus love " becomes the special model and the common choice in which to recall the great revolution for the authors and readers at that time is related to the discussion about " the problem of love and revolution " happened in the period of the great revolution

    而「革命加戀愛」公式之所以成為當時作者和讀者「追憶」大革命的一種特定模式和共同途徑，又和大革命期間曾經發生的「戀愛與革命問題」討論密切相關。
  16. This paper also gives some methods applied for estimating the fatigue life and discusses the domestic and foreign developing state. finally the fatigue life solution of the project has been presented

    通過研究國內外計算疲勞壽命的一些方法，給出了適合於本課題的解決方案，為計算熱疲勞壽命提供了可以利用的公式。
  17. 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 + +程序設計語言，分析了命題公式的邏輯結構，設計出用廣義表單鏈表的存儲結構，並在此基礎上探討了如何實現其基本操作，從而進一步闡明了復雜等值演算的計算機實現演算法。
  18. 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上的等值和互推公式，這對于處理不完全信息數據庫的查詢優化有著重要作用。
  19. 2. numerais system of propositional calculus nend netwrk deals with data, but it is a formula set in proposihonal calculus

    命題邏輯系統的數字化神經網路的處理對象是數據，而命題邏輯系統的處理對象是命題公式集。
  20. 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

分享到臉書