使用归谬赋值法时，如果设原公式的主联结词为1，最后得到了矛盾的赋值结果，则可以证明原公式是__________。
举一反三
- 中国大学MOOC: 使用归谬赋值法时，如果设原公式的主联结词为1，最后得到了矛盾的赋值结果，则可以证明原公式是__________。
- 使用归谬赋值法时，如果设原公式的主联结词为1，最后得到了无矛盾的赋值结果，则可以证明原公式是： A: 重言式 B: 矛盾式 C: 可满足式 D: 偶真式
- 用归谬赋值法判明下列公式是否为重言式?[tex=11.929x1.357]lLdqtWZbDKBB00+/Mljt2AAeJsdVjGdBHgtIi8DfAiVg29FqYo7VkJfUr3ljsPy4clvyOm+1Y95O1SxLRZk3QERzZ88Ju8LzwABdNt0bQq2PWYAzbxVzHFGBhWS1jnSl[/tex]
- 若在所有赋值下，公式的真值都为1，则该公式的类型为___________，这种公式的主合取范式为___________
- 在运用归谬赋值法判定重言式的过程中，凡出现矛盾