构造下面推理的证明

题目

构造下面推理的证明
如果A地发生了交通事故,则小李的通行会发生困难；如果小李按指定的时间到达了,则他的通行没有发生困难；小李按指定的时间到达了.所以A地没有发生交通事故.
（第一步：找出原子命题（1分）；
第二步：利用原子命题对原命题进行符号化且要求化成合取范式（3分）；
第三步：命题 依据）的形式,书写证明过程（6分））

答案

证明：简单命题符号化
设 p：A地发生交通事故,s：小李通行困难 t：小李按指定时间到达
前提：p->s,t->┐s,t
结论：┐p
① t 前提引入
② t->┐s 前提引入
③ ┐s ①、②假言推理
④ p->s 前提引入
⑤ ┐p ③、④拒取式