单项选择题

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

A.子句
B.双条件
C.合取公式
D.蕴含公式