分析推理的三种不同方法得到三种不同的推理形式，可以得到三种不同的逻辑：命题逻辑、词项逻辑、谓词逻辑。这是逻辑学所要学习的重点。

三，推理形式的有效性

推理形式的有效性：指一个推理形式确保从真前提只得到真结论，不会得出假结论。

“有效性”亦称“保真性”。于是，“有效的推理”就是“保真的推理”

有效推理保证：如果从某个或某些前提出发，进行有效推理，得出一个假结论，则可以肯定，至少有一个前提是假的。故有这样的推理形式（反推）：如果p则q，非q，所以，非p。

例：如果127是偶数，则127能够被2整除；

127不能被二整除；

所以，127不是偶数。

还有所谓的“反三段论”：如果p且q，则r；所以，如果非r并且p，则非q。