题目内容

同一个命题公式有多个等价式,也有多个合取范式和析取范式。

A. 对
B. 错

查看答案
更多问题

任何命题公式都可以化成与其等价的析取范式或合取范式,但是其析取范式和合取范式唯一。

A. 对
B. 错

一个命题公式的真值表中,所有真值为真赋值对应极小项的析取就是此公式的主析取范式。

A. 对
B. 错

命题推理的P规则是指前提在推导过程中的任何时候都可以引入使用。而T规则是推理中如果一个或多个公式蕴含了公式S,则公式S可以引入到以后的推理之中。

A. 对
B. 错

判断证明(p→q)∧(q→r)∧¬r=﹥¬p 的过程是否正确。证明:⑴ p→qP规则⑵ q→r P规则⑶ p→rT⑴⑵I⑷ ¬r→¬pT⑶E⑸ ¬rP规则⑹ ¬pT⑷ ⑸I所以¬p是前提p→q,q→r,¬r的有效结论。

A. 对
B. 错

答案查题题库