必然性推理包括多種形式,主要有:
直言命題變形直接推理。這是通過直接對命題進行變換的推理方式,例如換質法和換位法推理。
三段論推理。這是一種基於兩個前提和一箇結論的推理方法,其中每個概念在前提和結論中都出現兩次。
假言推理。這種推理基於如果那麼的邏輯結構,包括各種前提和結論之間的關係。
選言推理。這是基於可能性的推理,處理各種可能的情況和結果。
完全歸納推理。這是一種從特定實例推廣到一般結論的推理方式。
關係推理。這是基於對象或概念之間關係的推理。
科學歸納推理。這是一種基於科學方法和觀察的推理方式。
這些推理方法都是基於邏輯原則,確保如果前提爲真,則結論也必然爲真。