使用归谬赋值法时,如果设原公式的主联结词为1,最后得到了无矛盾的赋值结果,则可以证明原公式是:
A: 重言式
B: 矛盾式
C: 可满足式
D: 偶真式
A: 重言式
B: 矛盾式
C: 可满足式
D: 偶真式
举一反三
- 使用归谬赋值法时,如果设原公式的主联结词为1,最后得到了矛盾的赋值结果,则可以证明原公式是__________。
- 中国大学MOOC: 使用归谬赋值法时,如果设原公式的主联结词为1,最后得到了矛盾的赋值结果,则可以证明原公式是__________。
- 画树形图时,如果根节点的公式为A,最后有的枝不封闭,则可以证明: A: A是重言式 B: A不是重言式 C: A是可满足式 D: A是矛盾式
- “在运用归谬赋值法判定重言式的过程中,凡出现矛盾的就是永真式(重言式),不出现矛盾的就是永假式(矛盾式)”。这一说法是否正确:
- 设A为任意的公式,B为矛盾式,则AÙB的公式类为()。 A: 重言式 B: 矛盾式 C: 可满足式 D: 以上都不对