题目内容

谓词逻辑中,原子命题是最小单位。 ()

查看答案
更多问题

A ⇒ A∧B 是正确的。 ()

如果推理是有效的话,那么推理的前提都为真时,结论可能为假。 ()

推理有效,指的是推理的结论是前提的合乎逻辑的结果。 ()

若G⇒H,则蕴涵式 G → H 是重言式。 ()

答案查题题库