分析推理的三种不同方法得到三种不同的推理形式，可以得到三种不同的逻辑：命题逻辑、词项逻辑、谓词逻辑。这是逻辑学所要学习的重点。
三，推理形式的有效性
推理形式的有效性：指一个推理形式确保从真前提只得到真结论，不会得出假结论。
“有效性”亦称“保真性”。于是，“有效的推理”就是“保真的推理”
有效推理保证：如果从某个或某些前提出发，进行有效推理，得出一个假结论，则可以肯定，至少有一个前提是假的。故有这样的推理形式（反推）：如果p则q，非q，所以，非p。
例：如果127是偶数，则127能够被2整除；
127不能被二整除；
所以，127不是偶数。
还有所谓的“反三段论”：如果p且q，则r；所以，如果非r并且p，则非q。
