中国大学MOOC: 使用归谬赋值法时，如果设原公式的主联结词为1，最后得到了矛盾的赋值结果，则可以证明原公式是__________。
举一反三
- 使用归谬赋值法时，如果设原公式的主联结词为1，最后得到了矛盾的赋值结果，则可以证明原公式是__________。
- 使用归谬赋值法时，如果设原公式的主联结词为1，最后得到了无矛盾的赋值结果，则可以证明原公式是： A: 重言式 B: 矛盾式 C: 可满足式 D: 偶真式
- 用归谬赋值法判明下列公式是否为重言式?[tex=11.929x1.357]lLdqtWZbDKBB00+/Mljt2AAeJsdVjGdBHgtIi8DfAiVg29FqYo7VkJfUr3ljsPy4clvyOm+1Y95O1SxLRZk3QERzZ88Ju8LzwABdNt0bQq2PWYAzbxVzHFGBhWS1jnSl[/tex]
- 中国大学MOOC: 画树形图时，如果根节点的公式为A，最后有的枝不封闭，则可以证明：
- 中国大学MOOC: 公式p→q的成假赋值是