P为任意合式公式,Q:为矛盾式.则P ∧ Q是( ) A.矛盾式 B.可满足式 C.蕴含式 D.重言式