[单选]  消解是一种可用于一定的()的重要推理规则。