deductive logic 中文意思是什麼

deductive logic 解釋
演繹邏輯
  • deductive : adj. 推論的，推斷的；演繹的。 deductive method 演繹法。 deductive reasoning 演繹推理。adv. -ly
  • logic : n. 1. 邏輯，理論學。2. 推理[方法]；邏輯性，條理性。3. 威力，壓力，強制（力）。
  1. On convergence of inductive and deductive logic

    論歸納與演繹邏輯的融合
  2. The natural deductive system of fuzzy logic

    模糊邏輯中的自然演繹系統
  3. In field of deductive database, magic transformation is an evaluation strategy that combines top - down with bottom - up. it restricts the computation of logic program to tuples that are related to the query

    在演繹數據庫領域中，魔集轉換是一種自頂向下和自底向上相結合的計算策略，它使邏輯程序的計算始終限制在與查詢相關的數據中。
  4. Deductive database makes good use of predicate logic. because it has strict, systemic, maths theory logic theory base and stronger inferring mechnism. on the basis of traditional database. it introduces design idea, structure, implemention and system model and so on

    本論文在傳統數據庫的基礎上借鑒了人工智慧中知識表示、推理機制，集思廣益，博採眾長，介紹了演繹數據庫系統設計思想，系統的結構，系統推理機制的實現以及系統模型的建模理論依據等。
  5. Secondly, carnap anlalyzed the distinction and similarity between inductive logic and deductive logic whice made people can clearly know the worth of inductive logic which is important the same with deductive logic. thirdly, he advanced the development of modern inductive logics in the way of format and mumeral

    卡爾納普通過對歸納邏輯與演繹邏輯的比較，認為它們具有很多相似性，從而為歸納邏輯確立了應有的地位，對人們正確認識歸納邏輯的作用具有重要的意義。
  6. Legal reasoning presents mainly the features as followings : first, the thinking function of legal reasoning is argument reasoning. second, the thinking mode of legal reasoning on the whole belongs to " deductive demonstration mode ". third, the logic structure of legal reasoning is a combination of formal logic reasoning and argument reasoning

    作為法律實踐的論證方法，法律推理主要有以下特點：第一，法律推理的思維功能是論辯推理；第二，法律推理的總體思維模式屬于「演繹論證模式」 ；第三，法律推理的邏輯結構是形式邏輯推理與論辯推理的綜合運用；第四，法律推理的推理功能表現為一種實踐推理。
  7. The second part builds a new algebra syetem rl, which in the definition of bl - algebra gets rid of the stronger condition and studies the properties of rl - algebra. in the same time, using rl - algebra as the true - value field this paper builds a more extentively formal deductive system of fuzzy prepositional calculus - - - - - - logic system rl. obtains a series of theorems, and studies the completeness of rl logic

    第二部分：在以bl邏輯為背景的bl代數的定義中去掉限制性較強的條件a b = a （ a b ） ，建立了一種新的代數系統rl ，並進一步研究了rl代數類的性質；以rl代數為賦值域建立了一種更為廣泛的模糊命題演算的形式系統? ?剩餘格值邏輯系統rl ，得到了一系列定理，同時研究了邏輯系統rl的（弱）完備性
分享友人
分享到 Line

分享到臉書