作业帮 > 化学 > 作业

构造下面推理的证明如果A地发生了交通事故,则小李的通行会发生困难;如果小李按指定的时间到达了,则他的通行没有发生困难;小

来源:学生作业帮 编辑:搜狗做题网作业帮 分类:化学作业 时间:2024/07/23 17:03:01
构造下面推理的证明
如果A地发生了交通事故,则小李的通行会发生困难;如果小李按指定的时间到达了,则他的通行没有发生困难;小李按指定的时间到达了.所以A地没有发生交通事故.
(第一步:找出原子命题(1分);
第二步:利用原子命题对原命题进行符号化且要求化成合取范式(3分);
第三步:命题 依据)的形式,书写证明过程(6分))
构造下面推理的证明如果A地发生了交通事故,则小李的通行会发生困难;如果小李按指定的时间到达了,则他的通行没有发生困难;小
证明:简单命题符号化
设 p:A地发生交通事故,s:小李通行困难 t:小李按指定时间到达
前提:p->s,t->┐s,t
结论:┐p
① t 前提引入
② t->┐s 前提引入
③ ┐s ①、②假言推理
④ p->s 前提引入
⑤ ┐p ③、④拒取式