歸結原理 消解原理，也稱為歸結原理，是一種重要的推理規則，適用於一定的子句公式。子句是由文字的析取組成的公式，其中文字可以是原子公式或原子公式的否定。當消解過程可用時，它被套用於母體子句對，以產生一個導出子句。