導出原理
.. , C n {\displaystyle C,C_{1},\dots ,C_{n}} の反駁が存在すれば、 P {\displaystyle P} は P 1 , ... , P n {\displaystyle P_{1},\dots ,P_{n}} の論理的帰結である。
あるいは、別の表現をすれば、 C , C 1 , ... , C n {\displaystyle C,C_{1},\dots ,C_{n}} が充足不能 ¬ P , P 1 , ... , P n {\displaystyle \lnot P,P_{1},\dots ,P_{n}} が充足不能 P 1 , ... , P n {\displaystyle P_{1},\dots ,P_{n}} の解釈が T {\displaystyle {\mathit {T}}} ならば ¬ P {\displaystyle \lnot P} の解釈は F {\displaystyle {\mathit {F}}} P 1 , ... , P n {\displaystyle P_{1},\dots ,P_{n}} の解釈が T {\displaystyle {\mathit {T}}} ならば P {\displaystyle P} の解釈は T {\displaystyle {\mathit {T}}}