把概念、判断、推理转化成特制的形式符号后，对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性，为不同学科提供具有普遍适用性的共同逻辑形式，有利于揭示新联系，导致新发现。

“归纳证明”的对称。运用演绎推理所作的证明。论据是一般性知识，论题是在该一般性知识范围之内的知识或事实。如以“一切科学都是有用的”来证明“逻辑学是有用的”。

指善于推理，能由此及彼。

1.亦称"因明论"。 2.古代印度五明之一。音译为醯都费陀，意译为因明。"因"指原因﹑根据﹑理由;"明"义为学术。因明即关于逻辑推理的学说，随佛教传入中国。

①直接的感觉，即未经思维推理的直观：这件事靠不住，我有一种直觉｜凭直觉感到，事态必定会进一步恶化。 ②直接觉得：她直觉到自己已面临必须作出抉择的时候了。

①用可靠的材料或事实来表明或判定真伪对错等：证明一条定理｜我证明他当时不在场。 ②可用来证实的材料：事实是最好的证明。 ③以若干判断为根据，断定另一个判断为真的思维形式。断定一个判断为真，不等于该判断确实为真，也不等于一个判断的真实性确实得到断定。只有正确的证明，才能确实断定一个判断的真实性。一切证明都由论题、论据和论证组成，都通过推理实现，论据相当于推理的前提，论题相当于推理的结论，论证相当......更多

细致周密：致密的结构｜致密的推理。

数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。

19世纪中期产生和盛行于欧美的一种通俗小说。常以警探和私家侦探为中心人物，描写他们破案过程中的机智和冒险经历。以情节曲折取胜，具有较大的可读性。在日本称为“推理小说”。

1.谓懂得事物间类比的关系，依类推理。