最近在不停的看些逻辑学的资料，颇有感触。所以来简单写下自己的看法。逻辑学是一个很大的范畴，我了解的只是其中的沧海一粟，所以粗浅了解希望不会让人见笑。
谈到逻辑学，有一个东西是我们无论如何都不能避开的：三段论，作为最负盛名的逻辑表述它当之无愧。但是除此之外还有另外两种不得不提：肯定前件式、否定后件式。接下来依次介绍下这三种论证表达方式。
首先是三段论：大前提：若B属于A，小前提：且C属于B，
结论：则C属于A。
三段论用最直接简单的韦氏图即可表述，基于包含与被包含。
接下来是肯定前件式： 最后是否定后件式：
如果p，那么q 如果p，那么q
p 非q
___________ ___________
所以，q 所以，非p
直接推理，采用直接演绎法就可以得出结果。这三种逻辑推理方式是最著名的三种，也是使用最为频繁的三种推理范式。以上的三种推理方式基于的命题条件还是值得我们考虑，为什么他们是对的？
在解释之前，我们需要先明白几个概念：
原命题：若p，则q； 逆命题：若q，则p；
否命题：若非p，则非q； 逆否命题：若非q，则非p；
基于以上命题，有以下几个结论可以浅显的得到：逆命题与否命题同真同假；原命题与逆否命题同真同假；原命题与逆否命题、逆命题与否命题均有且仅有一个真命题。
基于以上结论，我们就可以发现，其实三段论、肯定前件式和否定后件式与以上结论其实是契合的。原命题与逆否命题、逆命题与否命题同真假，所以否定后件式论述正确；而原命题的推理则是肯定前件式的推理。
同时在霍布斯的鸿篇巨作《利维坦》中，也涉及到了逻辑推理的部分内容。霍布斯将推理定义为“普遍名词”的序列运算，一个正确的逻辑一定是由正确的普遍假设经由运算所得到的运算结果。
