离散数学：构造下面推理的证明
如果A地发生了交通事故，则小李的通行会发生困难；如果小李按指定的时间到达了，则他的通行没有发生困难；小李按指定的时间到达了。所以A地没有发生交通事故。（第一步：找出原子命...
如果A地发生了交通事故，则小李的通行会发生困难；如果小李按指定的时间到达了，则他的通行没有发生困难；小李按指定的时间到达了。所以A地没有发生交通事故。
（第一步：找出原子命题（1分）；
第二步：利用原子命题对原命题进行符号化且要求化成合取范式（3分）；
第三步：用（步骤 命题 依据）的形式，书写证明过程（6分）） 展开
（第一步：找出原子命题（1分）；
第二步：利用原子命题对原命题进行符号化且要求化成合取范式（3分）；
第三步：用（步骤 命题 依据）的形式，书写证明过程（6分）） 展开
展开全部
证明：简单命题符号化
设 p：A地发生交通事故，s：小李通行困难 t：小李按指定时间到达
前提：p->s， t->┐s， t
结论：┐p
① t 前提引入
② t->┐s 前提引入
③ ┐s ①、②假言推理
④ p->s 前提引入
⑤ ┐p ③、④拒取式
设 p：A地发生交通事故，s：小李通行困难 t：小李按指定时间到达
前提：p->s， t->┐s， t
结论：┐p
① t 前提引入
② t->┐s 前提引入
③ ┐s ①、②假言推理
④ p->s 前提引入
⑤ ┐p ③、④拒取式
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
