命题公式P→Q∧P是(A)重言式(B)矛盾式(C)可满足式(D)等阶式