1、歸結原理是將普通形式邏輯中充分條件的假言聯鎖推理形式符號化，並向壹階謂詞邏輯推廣的壹種推理法則，又稱歸結法則、分解法則、消解法則。
2、在命題邏輯歸結原理的推理圖式中，P、Q和R稱為原子公式（簡稱原子），即不使用邏輯連接詞的簡單命題形式。原子和原子的否定式統稱句元。子句就是將不同句元用析取詞∨（或）連接而成的析取式。應用歸結法則進行推理時，所有判斷都寫成子句的形式，這不論對命題邏輯還是對壹階謂詞邏輯都不例外。
3、在命題邏輯中，原子被看成壹個內部結構不予分析的邏輯基元，代表簡單的命題形式。單憑普通形式邏輯中充分條件的假言聯鎖推理的符號化，只能直接演變為命題邏輯的歸結原理。
4、應用方法：應用歸結原理證明定理或求解問題時采用反證法，即先假設與結論相反的命題是成立的，然後根據前提和否定結論的假設（都以子句形式出現），求出壹系列中間結論（以歸結式的形式出現）。