可靠推理

可靠推理是推理形式有效而且推理前提真實，因而能必然推出真實結論的推理。恩格斯指出：“如果我們有正確的前提，並且把思維規律正確地運用於這些前提，那末結果必定與現實相符。”

（《馬克思恩格斯全集》第20卷第661頁）揭示了可靠推理的兩個必要條件：前提正確，即真實；前提自身之間及前提與結論之間的聯繫符合邏輯規律的要求，即符合邏輯規則，也就是形式正確，有效。一切具備了這兩個必要條件的推理，就是可靠推理。一個可靠推理實質上也就是一個演繹證明。