全稱消去推理;通稱特化推理