推理形式是指推理中前提與結論之間的聯繫方式，包括邏輯常項和變項兩部分。
推理形式是在推理過程中抽掉各個命題的具體內容後所保留的模式或框架，是多個推理中表達不同思維內容的各個命題之間共有的聯繫方式。推理形式的主要分析方法包括演繹推理、歸納推理和類比推理。
演繹推理是由普遍性的前提推出特殊性的結論，例如三段論推理、假言推理和選言推理等。歸納推理則是由特殊的前提推出普遍性的結論，可能存在歸納法、完全歸納法、不完全歸納法等類型。類比推理是從特殊性前提推出特殊性的結論，即從一個對象的屬性推出另一對象也可能具有這屬性。