最近在不停的看些邏輯學(xué)的資料啥刻，頗有感觸奸鸯。所以來簡單寫下自己的看法。邏輯學(xué)是一個很大的范疇可帽，我了解的只是其中的滄海一粟府喳，所以粗淺了解希望不會讓人見笑。
談到邏輯學(xué)蘑拯，有一個東西是我們無論如何都不能避開的：三段論钝满，作為最負(fù)盛名的邏輯表述它當(dāng)之無愧兜粘。但是除此之外還有另外兩種不得不提：肯定前件式、否定后件式弯蚜。接下來依次介紹下這三種論證表達(dá)方式孔轴。
首先是三段論：大前提：若B屬于A，小前提：且C屬于B碎捺，
結(jié)論：則C屬于A路鹰。
三段論用最直接簡單的韋氏圖即可表述，基于包含與被包含收厨。
接下來是肯定前件式：? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? 最后是否定后件式：
如果p晋柱，那么q? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? 如果p，那么q
p? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? 非q
___________? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ___________
所以诵叁，q? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?? ? ? ? ? ? ? ? ? ? 所以雁竞，非p
直接推理，采用直接演繹法就可以得出結(jié)果拧额。這三種邏輯推理方式是最著名的三種碑诉，也是使用最為頻繁的三種推理范式。以上的三種推理方式基于的命題條件還是值得我們考慮侥锦，為什么他們是對的进栽？
在解釋之前，我們需要先明白幾個概念：
原命題：若p恭垦，則q快毛；???????????????????????????? 逆命題：若q，則p番挺；
否命題：若非p唠帝，則非q；????????????????????? 逆否命題：若非q建芙，則非p没隘；
基于以上命題，有以下幾個結(jié)論可以淺顯的得到：逆命題與否命題同真同假禁荸；原命題與逆否命題同真同假右蒲；原命題與逆否命題、逆命題與否命題均有且僅有一個真命題赶熟。
基于以上結(jié)論瑰妄，我們就可以發(fā)現(xiàn)，其實(shí)三段論映砖、肯定前件式和否定后件式與以上結(jié)論其實(shí)是契合的间坐。原命題與逆否命題、逆命題與否命題同真假，所以否定后件式論述正確竹宋；而原命題的推理則是肯定前件式的推理劳澄。
同時在霍布斯的鴻篇巨作《利維坦》中，也涉及到了邏輯推理的部分內(nèi)容蜈七∶氚危霍布斯將推理定義為“普遍名詞”的序列運(yùn)算，一個正確的邏輯一定是由正確的普遍假設(shè)經(jīng)由運(yùn)算所得到的運(yùn)算結(jié)果飒硅。
