black

离散数学

登录

问答题

计算题

在自然推理系统P中,构造用自然语言描述的推理若张超与李志都是计算机系学生,则王红是中文系学生,若王红是中文系学生,则她爱看小说,可是,王红不爱看小说,张超是计算机系学生,所以,李志不是计算机系学生。

【参考答案】

相关考题

问答题 用消解证明法构造推理证明:前提¬p∨(q→r),¬s∨p,q结论:s→r。

问答题 已知推理的前提为qp,q→s,¬s∨t,¬t∧r,试寻找1~2个有效结论。

问答题 在自然推理系统P中,用归谬法证明推理:前提:p→¬q,r→q,r结论:¬p。

All Rights Reserved 版权所有©PP题库网库(pptiku.com)

备案号:湘ICP备14005140号-5

经营许可证号:湘B2-20140064