演繹定理
帰納定理(Resolution theorem)は、演繹定理の逆である。含意の除去規則であるモーダスポネンスから即座に導ける。