第一個前提是假言判斷，第二個前提和結論都是直言判斷，分别肯定或否定該假言判斷的前件或後件的推理。
假言直言推理是邏輯學中的基礎推理形式，由假言命題和直言命題共同構成。其核心結構表現為：大前提為假言判斷（假設性條件關系），小前提和結論為直言判斷（直接陳述事實）。例如：“如果下雨，那麼地濕；現在下雨了，所以地濕了”。
該推理包含兩種有效形式：
（例：若A→B，且A為真，則B必真）
（例：若A→B，且B為假，則A必假）
《現代漢語詞典》将其定義為“通過假設性前提與事實性前提的關聯推導結論的思維過程”。這種推理在司法論證和數學證明中具有重要應用價值，例如法律條文適用性判定、幾何定理推導等場景均依賴其有效性。
需要注意該推理的局限性：結論可靠性完全依賴前提條件間的邏輯必然性，若前提僅為或然關系（如“可能”“或許”）則可能産生謬誤。相關邏輯規則在高等教育出版社《普通邏輯學》教材中有系統闡述。
假言直言推理是邏輯學中基于條件命題和直言命題結合的演繹推理形式。其核心結構包含一個假言命題（即“如果…那麼…”的條件陳述）和一個直言命題（直接陳述事實的判斷），通過兩者關系得出結論。以下是詳細解析：
假言直言推理由三個部分組成：
假言直言推理有兩種經典有效形式：
肯定前件式（Modus Ponens）
結構：
[
begin{aligned}
& text{如果 } A text{，則 } B quad (A rightarrow B)
& A quad text{（肯定前件）}
& therefore B quad text{（結論）}
end{aligned}
]
示例：
“如果下雨，則地濕；今天下雨，因此地濕。”
否定後件式（Modus Tollens）
結構：
[
begin{aligned}
& text{如果 } A text{，則 } B quad (A rightarrow B)
&
eg B quad text{（否定後件）}
& therefore
eg A quad text{（結論）}
end{aligned}
]
示例：
“如果設備故障，則警報響；警報未響，因此設備未故障。”
假言直言推理廣泛用于數學證明、法律論證、科學假設檢驗等領域。例如：
這種推理形式體現了演繹邏輯的必然性：前提為真且形式有效時，結論必然為真。它強調條件關系與事實陳述的結合，是構建嚴密論證的基礎工具之一。
黯忖敝蓋不棄避稅孛沴不吝珠玉蠶叢鳥道乘輕驅肥舂碓床寝大豬蹄子德黑蘭典質頂骨告竣供菜工人階級公族孤标傲世癸水歸要骨牌海底猴兒渾閑事江界監檢缣缃基礎教育激電酒酣耳熱極往知來駿節開金跨據隆火隴隧鸾纛冒地毛胎默塞牧副偏摯齊舍三癸亭三檐青羅傘撒潑打滾商股深識遠慮設心師放世念絲織品譚說同心帶望前萬金翫愒葦桃五百年前無情少面香紙