使用归谬赋值法时，如果设原公式的主联结词为1，最后得到了矛盾的赋值结果，则可以证明原公式是（）。

使用归谬赋值法时，如果设原公式的主联结词为1，最后得到了矛盾的赋值结果，则可以证明原公式是（）。
A.重言式
B.矛盾式
C.可满足式
D.偶真式
正确答案：矛盾式