- 更多网络例句与可演绎的相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Two normal forms, best-simple normal form and literal normal form, are presented at first in order to eliminate the complexity of formulas decision. Based on the two normal forms, a deduction proof of decidability theorem in L and a decision algorithm P based on deduction for proportional formulas are given and a decision machine found on P, DMBD, is also designed.
首先提出了消解复杂性的两种范式：最简范式和文字范式，在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P，并基于ML语言设计了基于P的演绎判定机DMBD。
-
Based on the two normal forms, the decidability theorem in L is then proved and a deduction-based decision algorithm P is designed. The time complexity O(n3) of P is much less than the complexity O(2n) of the true value table method and the complexity O(n5) of HAL based on the tactic scheme.
首先定义了消解复杂性的两种范式：最简范式和文字范式，在此基础上采用演绎方法证明了L中的可判定性定理，并设计了命题公式的演绎判定算法P。P的时间复杂度为O(n^3)，远远小于基于真值表法的O(2^n)和基于策略方案HAL的O(n^5)。
-
In this paper, we propose that legal argument is essentially plausible, defeasible, and nonmonotonic and show that the criteria for evaluating legal argument are deductive validity, inductive strength, and plausibility.
本文从广义的逻辑观出发，提供了法律论证本质上是似真的、可废止的和非单调的，进而提出了法律逻辑的评价标准是演绎有效性、归纳强度和似真性。
-
Fashion and engineering students at Sheffield Hallam University developed the wedding dress, which can be transformed into five new fashion pieces.
这款婚纱由谢菲尔德哈勒姆大学时装和工程系学生研制，可演绎成五种新的时尚款式。
-
According to demonstrate the different forms of reasoning can be divided into deductive arguments and inductive argument, according to argue different methods can be divided into direct proof and indirect proof.
根据论证所运用推理形式的不同，可分为演绎论证与归纳论证，根据论证方法不同，可分为直接论证和间接论证。
-
Under the guidance of systematology, this paper take advantage of a research method of combining development analysis and comparative analysis qualitative analysis and quantitative analysis, theoretical analysis and positive analysis. In the background of urban construction, it is intended to build a frame about study of city's sustainable development from symbiosis theory.
在研究过程中，本文借鉴了城市经济、可持续发展、共生理论等领域已有的研究成果，以系统思想为指导，采用定性分析与定量分析相结合、归纳与演绎相结合、理论分析与实证分析相结合等方法，以城市化为背景，建构了我国城市可持续发展过程中建立共生关系的研究框架。
-
This type of wedding veil created by the Sheffield Hallan University and engineering students, may be shaped five kind of new fashion styles
这款婚纱由谢菲尔德哈勒姆大学时装和工程系学生研制，可演绎成五种新的时尚款式。
-
The problem with security mechanisms is balancing protection against user convenience. User complaints about Windows Vista\'\'s seemingly omnipresent UAC dialog box illustrate the frustrations that in-your-face security can present. In an attempt to enhance security without unduly inconveniencing users, Microsoft included a pre-approved list of controls that aren\'\'t automatically disabled by the Active X opt-in feature. These are commonly used controls that are known to be safe. Users won\'\'t be prompted before running those controls.
安全机制的问题是使防护与用户方便保持平衡用户抱怨Windows Vista看中去无处不在的用户帐户控制(User Account Control，UAC)会话框演绎着安全可出现的掉败为增强安全而又不过度地使用户感应坚苦，微软包含了一个预许列表，表中的控件不会被 Active X选择性插手特征自己主动克制这些个是已经知安全的经常使用控件在运行这些个控件前用户不会被提示
-
He think deducted works which has not gain original author's authorization should be obviated protect of copyright law.
认为应将未获原作者同意或授权的原作品的演绎作品排除在版权保护之外，使演绎作品的作者无论是主动行使还是被动行使都无利益可得，消除其进行非法演绎的原动机。
-
The audience of the Beijing Music Festival has the opportunity to experience works, starting from Jan Scbastian Bach's cello suites performed by Mischa Maisky, through the Viennese Classicists Haydn, Mozart and Beethoven and Romanticists—Schumann, Tchaikovsky and Brahms — to the Impressionists Claude Debussy and Maurice Ravel and 20th-century Neoclassicists — Sergei Prokofiev and Igor Stravinsky.
北京国际音乐节的听众们有机会欣赏这些作品，从梅斯基演绎的巴赫大提琴组曲，通过维也纳古典主义学者海顿、莫扎特和贝多芬以及浪漫主义派人物舒曼、柴可夫斯基和勃拉姆斯，到印象派德彪西、拉威尔和20世纪古典派代表人物普；罗科菲耶夫和斯特拉汶斯基。
- 更多网络解释与可演绎的相关的网络解释 [注：此内容来源于网络，仅供参考]
-
deducible：可推论的 (形)
deduce 推论; 演绎出 (动) | deducible 可推论的 (形) | deduct 扣除; 演绎 (动)
-
deducible：{基}可导出的
演绎;推演 deduce | {基}可导出的 deducible | 推论;演绎法 deduction
-
derivation：推导
"xxvii为了确切地回答本文一开始叙述的不同演绎系统(比如欧氏几何与非欧几何)之间具有真值联系的问题,一些逻辑学家曾力图以严格的方式定义"推论"(consequence),它的外延和内涵都要比"推导"(derivation)这个概念更丰富,后者只能说明"可证实"概念,
-
Dispensation：(时代)
"时代"(dispensation)乃从拉丁文"dispensatio"(意"分派")演绎而来;由此,"时代"这词可包含三个意义:1)分配工作的行动;2)管理工作的准则;3)要求尽职的安排.
-
explicate：解释
于是,还需要演绎来解释(explicate)和演示(demotrate)假说即得出预言;再后由归纳回归到经验,旨在通过观察被演绎出的结果是否成立来证实或否证那些假说,即决定假说的可信赖度.
-
fallacy：错误
此外,从学界对"硬伤"的理解上,也可看出二者的不同:归纳式研究的传统以知识性错误为硬伤;而演绎式研究的路数则以逻辑性错误(fallacy)为硬伤,尽管知识欠缺与逻辑无效(invalid)都是双方公认的缺陷.
-
plausible reasoning：似真推理
"[2](P61)莱斯切也提出了一种既不同于演绎推理,也不同于归纳推理的第三种推理--似真推理(plausible reasoning). 这种推理是根据不完全的前提所进行的可修正和可废止(defeasible)的推理. 似真意味着,如果前提是真的(或可接受的),
-
educible：可演绎的
educe 使显出 | educible 可演绎的 | educibleoperant 可推断的
-
educible：可引出的 (形)
educe 引出; 推断; 取出; 演绎 (动) | educible 可引出的 (形) | educt 引出之物; 析出物; 推断 (名)
-
deduced gradient method：减缩梯度法
"deduce ","演绎,推断" | "deduced gradient method ","减缩梯度法" | "deducible ","可推断的"