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