单项选择题

一个命题逻辑公式集如果推出空子句,那么这个公式集包含矛盾。( )