逻辑推理的规则

1L 三段论正解

凡男女自愿离婚的准予离婚； Ax( Px →Qx ) ,
而某婚姻案件中并不是双方自愿离婚的; ~Pa ,
所以，这个案件不能判决准予离婚。 ∴~Qa
【A应该上下颠倒，表示全称量词。】

该推理无效。

一、与事实不符不是逻辑学所能管了的。
二、逻辑学只管推理的形式。这个推理违背逻辑推理的规则。
这是一个三段论：
凡男女自愿离婚的（中项M）准予离婚（大项P）；
而某婚姻案件中（小项S）并不是双方自愿离婚的（中项M）。
所以，这个案件（小项S）不能判决准予离婚。（大项P）
MAP
SOM
————
SOP
这是三段论的第一格
三段论第一格的规则是：
（1）小前提必须肯定；
（2）大前提必须全称。
而这个推理的小前提是否定的：“某婚姻案件中（小项S）并不是双方自愿离婚的（中项M）”。违反规则（1）因而这是个无效的三段论。