As most of the present decision methods of propositional formulas are based on semantics and cannot give an important reference in many reasoning applications,namely deduction procedure,a deduction-based decision method that can give the deduction procedure during the decision procedure is presented based on the propositional calculus system L.
文中针对命题演算系统L,提出了一种可同时给出演绎过程的判定方法——演绎判定方法。
By means of theory of truth degrees of formulas,according to deduction theorems and completeness theorems,the new concepts of porlar index and consistency degrees for general theories in Lukasiewicz propositional fuzzy logic systems are introduced.
根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念。
Having studied the formal deductive system L~* for fuzzy propositional calculus, and investigated the fuzzy deduction theorem of L~* system in detail.
对其中的演绎定理进行了详细讨论,得到了在一定条件下的L 系统中的演绎定理:设A,B∈F(S),若├(q→ p∨p)∨q→A,Γ F(S),则Γ├A→B当且仅当Γ∪{A}├B。
Analysis on the Evolution of Ancient China s Selecting System of Government Officials;
中国古代官吏选拔制度演绎规律初探
fact in rule-based dedution system
规则演绎系统中的事实
control strategy for rule-based deduction system
基于规则演绎系统的控制策略
goal in rule-based deduction system
基于规则演绎系统中的目标
The Dance Factors in "J.S Bach the Well-Tempered Clavier" and the Deductions
浅析巴赫十二平均律的舞曲因素及其演绎
On Historical Novels of Revolution that Deduced and Standardized Narration in Legend;
论革命历史小说对传奇叙事的演绎及规范
The Wonderful Deduction of Black Humor--On Artistic Features of Catch-22
黑色幽默的精彩演绎——论《第22条军规》的艺术特色
deductive [inductive] logic
演绎 [归纳] 逻辑
The study of the principles of reasoning, especially of the structure of propositions as distinguished from their content and of method and validity in deductive reasoning.
逻辑一门研究推理规律的科学，尤其是研究命题中区别于内容的结构和演绎推理中的方法和有效性
Involving or using deduction in reasoning.
演绎法推理的包含或用演绎法推理的
The Operation and Weak Deductive Theorem in FormalDeductive System L~*;
形式演绎系统L~*的运算与弱演绎定理
The Operationand Deductive Theorem in the Formal Deductive System L~*;
形式演绎系统L~*中的运算与演绎定理
The application of law mainly uses deductive inference or syllogist inference.
法官适用法律中主要运用演绎推理或三段论推理。
The familiar melody deducts the stirring times and expressing the unchanging sincerity.
乙：熟悉的旋律，演绎时代的激越，回荡情怀不改的真切。
A Modern Literary Deduction of Chinese Ancient Swordsman Complex;
中国古代侠客情结的当代文学演绎——《红色康乃馨》中的律师形象分析
Thence we deduce rules about the way in which the price-system will react to changes in tastes and resources.
从这里我们再演绎出价格体系对嗜好及资源的改变的反应规则。
Formal Rules Vs Mental Models in Reasoning: A Comparative Study of the Two Theories;
形式规则还是心理模型——演绎推理过程中两种判断标准的比较研究
deductive operation on structured object
结构化事物的演绎运算