关键词：
收录约1万典故，50万词汇、2万作家信息
常用典故按出处分类按人物分类
《國語辭典》：演绎（演繹）　　拼音：yǎn yì
一种纯粹形式的推理方法。要求前提与结论间具有必然性之可推关系。一般演绎法多为由普遍原理以推定特殊事象。也称为「外籀」。
分類：演绎推演铺陈原理演出特殊结论
《漢語大詞典》：演绎法（演繹法）
演绎推理。
《漢語大詞典》：演绎推理（演繹推理）
通称演绎法。旧译“外籀”。由一般原理推演出特殊结论的一种推理。 孙犁 《澹定集·〈文艺增刊〉辟栏说明》：“一切从书本上寻章摘句，演绎推理而成的‘创作方法’不收。”
分類：原理推演演出特殊结论推理
《国语辞典》：假设演绎法（假设演绎法）　　拼音：jiǎ shè yǎn yì fǎ
为寻求某一事实获得确切解释原因，推出一系列可能的假设前提，逐一对提出的假设前提依据演绎推理规则加以验證，以决定哪个假设为真。
分类：寻求事实获得确切解释原因
《漢語大詞典》：抽绎（抽繹）
理其端绪；演绎。 明 归有光 《隆庆元年浙江程策》之一：“朕更歷世故，创业艰难，常虑子孙不知所守，故为此书。日夜以思，具悉周至。抽绎六年，始克成编。” 清 方苞 《〈杨黄在时文〉序》：“ 闻喜 杨黄在 守选京师，与余交閒，出其时文，能曲畅所欲言，以显事物之理，又能抽绎先儒之书，而发其端绪之未竟者。” 郭沫若 《蒲剑集·庄子与鲁迅》：“我说‘他是靠打草鞋吃饭的人’，也就是从《列御寇篇》中的一段故事里抽绎出来的。”
分類：端绪演绎
《漢語大詞典》：演译（演譯）
演绎。 明 胡应麟 《少室山房笔丛·双树幻钞中》：“凡浮屠之説，类涉夸大者，率中华之人演译之……其浮诞不根，愈后世增益也。”
分類：演绎
《漢語大詞典》：来自
表示来源,但通常不带有肇始之意,而指从原有的以另一形式存在的人或物,通过赋与、移转、演绎、模仿或再生而发生。例如：主要收入来自开采煤矿。
分類：来自来源肇始原有一形存在移转演绎模仿再生
《國語辭典》：灵怪（靈怪）　　拼音：líng guài
1.神奇诡怪。唐。宋之问 〈嵩山天门歌〉：「吾亦不知其灵怪如此，愿游杳冥兮见羽人。」唐。柳宗元〈龙马图赞。序〉：「其状龙鳞虺尾，拳毛环目肉鬣，马之灵怪有是耶？」
2.神鬼妖怪。晋。郭璞 〈山海经。序〉：「游魂灵怪，触象而构。」宋。苏轼 〈神女庙〉诗：「云兴灵怪聚，云散鬼神还。」
分類：灵怪神奇神魔魔鬼鬼怪话本类别演绎神灵
《漢語大詞典》：阐绎（闡繹）
(1).发展延续。 汉 班固 《典引》：“厥有氏号，绍天阐绎者，莫不开元於 太昊 皇初之首。”
(2).阐述演绎。 清 许旭 《闽中记略》：“法至详密，余惊叹不已，阐绎十日夜，而朱黄鉤贯始就。制府览竟，大喜。”《清史稿·礼志一》：“ 圣祖 岁御经筵，纂成《日讲礼记解义》，敷陈虽出羣工，阐绎悉遵圣训。”
(3).宽舒从容。《新唐书·文艺传序》：“若君子则不然，自能以功业行实光明于时，亦不一于立言而垂不腐，有如不得试，固且阐绎优游，异不及排，怨不及诽，而不忘纳君於善，故可贵也。”
分類：宽舒阐述展延从容延续演绎
《國語辭典》：推演　　拼音：tuī yǎn
推算演绎。《易经。系辞上》「大衍之数五十，其用四十九」句下唐。孔颖达。正义：「推演天地之数，唯用五十策也。」
分類：推演推论推移演变演绎
《漢語大詞典》：探绎（探繹）
探索演绎。 郭沫若 《文艺论集·波斯诗人莪默伽亚谟》：“ 莪默 居于 纳霞堡 以至于死，一生之中忙于各种知识之探绎。”
分類：探索演绎
《漢語大詞典》：翻援（繙援）
演绎引述。 汉 董仲舒 《春秋繁露·玉杯》：“《春秋》赴问数百，应问数千，同留经中，繙援比类以发其端，卒无妄言而得应於传者。”
分類：演绎引述
《漢語大詞典》：谱演（譜演）
谱写和演绎。 陈去病 《论戏剧之有益》：“吾尝求其书读之，觉其所谱演，揆之今日，虽不甚相浹，然其以感发兴起为宗旨，则要足多焉。”
分類：谱写演绎
《漢語大詞典》：数理逻辑
亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支，又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义，对一般思维中某些问题的解决也有成效。
分類：数理逻辑狭义数学学方演绎思维基础学科