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


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

A.重言式

B.矛盾式

C.可满足式

D.偶真式

正确答案:矛盾式


Tag:趣味逻辑 赋值 矛盾 时间:2022-02-17 14:33:35