邏輯推理的規(guī)則

1L 三段論正解

凡男女自愿離婚的準(zhǔn)予離婚； Ax( Px →Qx ) ,
而某婚姻案件中并不是雙方自愿離婚的; ~Pa ,
所以，這個(gè)案件不能判決準(zhǔn)予離婚。 ∴~Qa
【A應(yīng)該上下顛倒，表示全稱量詞?！?br/>
該推理無(wú)效。

一、與事實(shí)不符不是邏輯學(xué)所能管了的。
二、邏輯學(xué)只管推理的形式。這個(gè)推理違背邏輯推理的規(guī)則。
這是一個(gè)三段論：
凡男女自愿離婚的（中項(xiàng)M）準(zhǔn)予離婚（大項(xiàng)P）；
而某婚姻案件中（小項(xiàng)S）并不是雙方自愿離婚的（中項(xiàng)M）。
所以，這個(gè)案件（小項(xiàng)S）不能判決準(zhǔn)予離婚。（大項(xiàng)P）
MAP
SOM
————
SOP
這是三段論的第一格
三段論第一格的規(guī)則是：
（1）小前提必須肯定；
（2）大前提必須全稱。
而這個(gè)推理的小前提是否定的：“某婚姻案件中（小項(xiàng)S）并不是雙方自愿離婚的（中項(xiàng)M）”。違反規(guī)則（1）因而這是個(gè)無(wú)效的三段論。