术语简介

由于形式化了的推理过程与代数演算具有相似性,这类推理的正确性仅依赖于它们的形式,而与内容无关。在这里，概念、推理等被分解为最基本的元素，推理过程被表示为由开始公式出发根据某些具体规则而做的形式变形。其目的在于成就一向前的推理，或由因以成果。所谓三段论,是指大前提，小前提和结论。逻辑学上严谨的反驳必须要经过这三步。

其符式为：

大前提：凡M是P

小前提：凡S是M

结　论：凡S是P