第七章单元测试
- 命题逻辑的子句就是逻辑公式。（ ）
- 亲本子句是任选的两个子句。（ ）
- 永真式是这个公式永远为真（ ）
- 有亲本子句推出归结式实际上是完成了一次三段论推理。（ ）
- 消去"∧"连词，使公式成为若干子句，可能改变逻辑公式自己的逻辑关系（ ）
- 关于命题演算的归结方法正确的表述是：（ ）
- 命题逻辑中正确的概念是（ ）
- 归结式是从亲本子句中去掉一对互补文字后，剩余的两个部分组成的析取范式。（ ）
- 如果归结式是一个空子句，那就是一个恒真式。（ ）
- 一个命题逻辑公式集如果推出空子句，那么这个公式集包含矛盾。（ ）
- 命题逻辑的归结方法就是，将前提集与结论的否定放在一起，组成一个子句集，然后从这个子句集推出空子句。（ ）
- 有命题公式集S={p，p∧q→r，t→q，t}，该公式集可以推出：（ ）
A:错 B:对
答案:错
A:对 B:错
A:对 B:错
A:错 B:对
A:对 B:错
A:A∧B∧C成立的条件下有D成立，即A∧B∧C→D是重言式 B:证明A∧B∧C→D，就是假设A∧B∧C∧￢D成立，然后找出矛盾 C:证明A∧B∧C→D，就是假设A∧B∧C∧D成立，然后找出矛盾 D:A∧B∧C→D是重言式等价于￢(A∧B∧C→D)是永假式
A:文字是一个原子公式或原子公式的非 B:子句是文字的析取范式 C:命题逻辑的公式都是子句 D:亲本子句包含互补文字
A:错 B:对
A:错 B:对
A:错 B:对
A:错 B:对
A:非p B:p∧q C:r D:q
温馨提示支付 ￥3.00 元后可查看付费内容,请先翻页预览!
