画树形图时，如果根节点的公式为[img=12x14]180372e2421ec2b.png[/img]A，最后所有的枝均封闭，则可以证明：
A: A不是可满足式
B: [img=12x14]180372e249bfceb.png[/img]A是重言式
C: A不是重言式
D: [img=12x14]180372e251ed3cb.png[/img]A不是重言式
A: A不是可满足式
B: [img=12x14]180372e249bfceb.png[/img]A是重言式
C: A不是重言式
D: [img=12x14]180372e251ed3cb.png[/img]A不是重言式
举一反三
- 画树形图时，如果根节点的公式为A，最后有的枝不封闭，则可以证明： A: A是重言式 B: A[img=12x16]180372e272c6e36.png[/img]B不是重言式 C: A是可满足式 D: A是矛盾式
- 画树形图时，如果根节点的公式为ØA，最后所有的枝均封闭，则可以证明： A: A不是可满足式 B: ØA是重言式 C: A不是重言式 D: ØA不是重言式
- 画树形图时，如果根节点的公式为A，最后有的枝不封闭，则可以证明： A: A是重言式 B: A不是重言式 C: A是可满足式 D: A是矛盾式
- 命题公式[img=156x25]18032cdbcc69fe0.png[/img]是( )? A: 矛盾式； B: 可满足式； C: 重言式； D: 以上都不是
- 称由前提 [img=96x23]18032ce04e5fc83.png[/img]推出结论[img=14x19]18032ce056d0948.png[/img]的推理正确，则[img=177x22]18032ce05fa635a.png[/img]应为下列4个中哪一个？ A: 重言式或可满足式 B: 矛盾式 C: 可满足式 D: 重言式