單項(xiàng)選擇題

使用歸謬賦值法時(shí)，如果設(shè)原公式的主聯(lián)結(jié)詞為1，最后得到了矛盾的賦值結(jié)果，則可以證明原公式是（）。

A.矛盾式
B.重言式
C.偶真式
D.可滿足式

微信掃碼免費(fèi)搜題