使用归谬赋值法时，如果设原公式的主联结词为1，最后得到了无矛盾的赋值结果，则可以证明原公式是：
A: 重言式
B: 矛盾式
C: 可满足式
D: 偶真式
A: 重言式
B: 矛盾式
C: 可满足式
D: 偶真式
C
举一反三
- 使用归谬赋值法时，如果设原公式的主联结词为1，最后得到了矛盾的赋值结果，则可以证明原公式是__________。
- 中国大学MOOC: 使用归谬赋值法时，如果设原公式的主联结词为1，最后得到了矛盾的赋值结果，则可以证明原公式是__________。
- 画树形图时，如果根节点的公式为A，最后有的枝不封闭，则可以证明： A: A是重言式 B: A不是重言式 C: A是可满足式 D: A是矛盾式
- “在运用归谬赋值法判定重言式的过程中，凡出现矛盾的就是永真式（重言式），不出现矛盾的就是永假式（矛盾式）”。这一说法是否正确：
- 设A为任意的公式,B为矛盾式,则AÙB的公式类为()。 A: 重言式 B: 矛盾式 C: 可满足式 D: 以上都不对
内容
- 0
给定命题公式：判断公式分类：A、重言式，B、矛盾式， C、可满足式.(p∨Øp) ® ((q∧Øq)∧r) A: 重言式 B: 矛盾式 C: 可满足式
- 1
下列判断正确的是（ ） A: 公式A是重言式，则A的否定一定是矛盾式。 B: 公式A是矛盾式，其否定一定是重言式。 C: 重言式一定是可满足式。 D: 可满足式的否定是矛盾式。 E: 可满足式的否定也是可满足式。
- 2
画树形图时，如果根节点的公式为A，最后有的枝不封闭，则可以证明： A: A是重言式 B: A[img=12x16]180372e272c6e36.png[/img]B不是重言式 C: A是可满足式 D: A是矛盾式
- 3
P为任意命题公式，Q为重言式。则PVQ是( ) A: 矛盾式 B: 可满足式 C: 蕴涵式 D: 重言式
- 4
公式(¬p→q)→(q→¬p)的公式类型为() A: 矛盾式 B: 可满足式 C: 重言式 D: 不确定