法律規范形式推理0102法律規范形式推理法律規范三段論的推理目錄法律規范形式推理法律邏輯法律規范形式推理1.反對關系推理Op→﹁O﹁p（F﹁p）O﹁p→﹁Op（Fp）【例】公安機關逮捕人的時候，必須出示逮捕證。因此，公安機關逮捕人的時候，禁止不出示逮捕證。法律規范形式推理法律邏輯法律規范形式推理2.下反對關系推理

﹁Pp→P﹁p﹁P﹁p→Pp【例】并非不允許使用本民族的語言文字，等于允許使用本民族的語言文字。法律規范形式推理法律邏輯法律規范形式推理3.矛盾關系推理

Op←→﹁P﹁pO﹁p←→﹁PpPp←→﹁O﹁pP﹁p←→﹁Op允許當事人在法庭上提出新的證據，所以，不禁止當事人在法庭上提出新的證據。并非子女必須隨父姓，所以，子女可以不隨父姓。法律規范形式推理法律邏輯法律規范形式推理4.差等關系推理

Op→PpO﹁p→P﹁p﹁Pp→﹁Op﹁P﹁p→﹁O﹁p行政機關應當不干涉法院獨立審判，所以，允許行政機關不干涉法院獨立審判。并非被告不可以為自己辯護，所以，并不禁止被告為自己辯護。法律規范形式推理法律邏輯法律規范三段論的推理規范三段論是前提中有規范判斷的三段論，也允許說是在三段論的基礎上引入規范詞而構成的演繹推理。

法律規范形式推理法律邏輯法律規范三段論的推理1.必須規范三段論

凡m必須是p（凡m必須非p），凡s是m，

—————————————————所以，凡s必須是p（凡s必須非p）。法律規范形式推理法律邏輯法律規范三段論推理【例】凡在校學生必須都得嚴守學校紀律，張三是在校學生，

————————————————所以，張三必須得嚴守學校紀律。法律規范形式推理法律邏輯法律規范三段論推理2.規范三段論凡m允許是p（凡m允許非p），凡s是m，

———————————————所以凡s允許是p（凡s允許非p）。法律規范形式推理法律邏輯法律規范三段論推理【例】允許公民立遺囑將其遺產贈給法定繼承人以外的人，某病人是公民，

———————————————————————

所以，允許某病人立遺囑將其遺產贈給法定繼承人以外的人。法律規范形式推理法律邏輯法律規范三段論推理3.禁止規范三段論凡m禁止p（凡m禁止非p），凡s是m，———————————————所以凡s禁止p（凡s禁止非p）。法律規范形式推理法律邏輯法律規范三段論推理4.法律規范三段論純法律規范三段論是指兩個前提和結論均是法律規范判斷的三段論,如必須規范三段論。以第一格為例，必須規范三段論推理形式為：

所有m必須是p，

所有s必須是m，

——————————

所以，所有s必須是p。法律規范形式推理法律邏輯法律規范三段論推理【例】所有的法必須是統治階級意志的體現，刑法必須是法，——————————————————所以，刑法必須是統治階級意志的體現。法律規范形式推理法律邏輯法律規范三段論推理規范三段論除了要遵守三段論的規則，還要根據前提的規范確定結論的規范。概括起來，規范三段論應遵守以下規則方能保證是有效式：①必須遵守三段論的一切規則。②如果兩個前提都是必須判斷，則結論允許是必須判斷。③如果前提中有一個允許判斷，或兩個前提都是允許判斷，則結論只能是允許判斷。④如果一個前提是必須判斷，一個前提是直言判斷，一般情況下，結論只能是直言判斷或允許判斷；但當小前提是肯定判斷而大前提是必須判斷