2011秋远程离散数学期末模拟考试试题答案(2011.(3)

时间:2026-04-24   来源:未知    
字号:

用附加前提法证明下面的推理: 说明如下:

前提:P,q∨﹁r,q→(p→s)。结论:r→s. 结论中的前提 r移过来,与前提2 推理正确。 构成公式3,从而得到 q,q与前提3 构成公式3,从而得到(p→s), (p→s)再与前提1构成公式3, S.证毕.扣题说:推理正确.

2011秋远程离散数学期末模拟考试试题答案(2011.(3).doc 将本文的Word文档下载到电脑,方便复制、编辑、收藏和打印
× 游客快捷下载通道(下载后可以自由复制和排版)
VIP包月下载
特价:19 元/月 原价:99元
低至 0.1 元/份 每月下载300
全站内容免费自由复制
VIP包月下载
特价:19 元/月 原价:99元
低至 0.1 元/份 每月下载300
全站内容免费自由复制
注:下载文档有可能出现无法下载或内容有问题,请联系客服协助您处理。
× 常见问题(客服时间:周一到周五 9:30-18:00)