海涅定理(归结原则)
发布人