关键词：
收录约1万典故，50万词汇、2万作家信息
常用典故按出处分类按人物分类
《漢語大詞典》：断按（斷按）
形式逻辑三段论法中的结论。 章炳麟 《诸子学略说》：“近人或谓 印度 三支，即是 欧洲 三段。所云宗者，当彼断按；所云因者，当彼小前提；所云同喻之喻体者，当彼大前提。”
分類：形式逻辑三段论法中结论
《國語辭典》：反證法　　拼音：fǎn zhèng fǎ
一种證明定理的方法。先提出和定理中的结论相反的假定，然后从这假定中得出和已知条件相矛盾的结果来，这样就否定原来的假定而肯定了定理，称为「反證法」。也称为「归谬法」。
分類：证明定理提出理中结论论相相反假定
《國語辭典》：归谬法（歸謬法）　　拼音：guī miù fǎ
为證明某一命题成立，先提出与此命题相反的假设，再从这个假设中得出和已知条件相矛盾的结果，以否定此假设而肯定原来的命题。也称为「反證法」。
分類：证明定理提出理中结论论相相反假定然后后从这个中得得出矛盾结果否定原来肯定
《漢語大詞典》：关系推理
前提至少有一个是关系判断，而结论总是关系判断的推理。除了由一个关系判断做前提的直接推理之外，还有两种间接推理：纯粹关系推理和混合关系推理。
分類：前提至少少有个是关系判断结论总是推理
《漢語大詞典》：必然性推理
“或然性推理”的对称。从真前提能够必然地推出真结论的推理。包括：各种直接推理，三段论，关系推理，假言推理，选言推理，完全归纳推理，科学归纳推理。
分類：推理前提能够必然推出结论
《漢語大詞典》：纯粹关系推理
几个前提都是关系判断而结论也是关系判断的推理。
分類：几个前提关系判断结论也是推理
《漢語大詞典》：纯粹假言推理
前提和结论都是假言判断的推理。
分類：前提结论推理
《漢語大詞典》：逆定理
将某一定理的条件和结论互换所得的定理就是原来定理的逆定理。《新华文摘》1981年第11期：“现在既然有人认为，‘没有后门寸步难行’是一条定理，那么，‘能行寸步必有后门’，就是由这个定理推导出来的逆定理。”
分類：定理结论互换就是原来
《國語辭典》：实事求是（實事求是）　　拼音：shí shì qiú shì
1.做事切实，力求真确。《汉书。卷五三。景十三王传。河间献王刘德传》：「修学好古，实事求是。」
2.按照实际情况，确实办事。《官场现形记》第七回：「老弟肚里实在博学，但上头的意思是要实事求是。你的文章固然很好，然而空话太多。」
分類：清事事实得正正确结论从实出发
《漢語大詞典》：假言直言推理
第一个前提是假言判断，第二个前提和结论都是直言判断，分别肯定或否定该假言判断的前件或后件的推理。
分類：第一个前提结论
《漢語大詞典》：模态推理
以模态判断为前提或结论的推理。根据模态判断间的关系进行。也有直接推理和间接推理之分。例如由“不可能一切规律都已为我们所掌握”推出“必然有的规律还没有为我们所掌握”，就是一个直接的模态推理。
分類：判断前提结论推理