单项选择题

与有效推理形式相对应的复合命题形式一定是:()

A.重言式
B.非重言式
C.矛盾式
D.可满足式