> 化学 >
构造下面推理的证明
如果A地发生了交通事故,则小李的通行会发生困难;如果小李按指定的时间到达了,则他的通行没有发生困难;小李按指定的时间到达了.所以A地没有发生交通事故.
(第一步:找出原子命题(1分);
第二步:利用原子命题对原命题进行符号化且要求化成合取范式(3分);
第三步:命题 依据)的形式,书写证明过程(6分))
人气:151 ℃ 时间:2020-03-25 14:45:47
解答
证明:简单命题符号化
设 p:A地发生交通事故,s:小李通行困难 t:小李按指定时间到达
前提:p->s,t->┐s,t
结论:┐p
① t 前提引入
② t->┐s 前提引入
③ ┐s ①、②假言推理
④ p->s 前提引入
⑤ ┐p ③、④拒取式
推荐
猜你喜欢
© 2024 79432.Com All Rights Reserved.
电脑版|手机版