證明：簡單命題符號化
設(shè) p：A地發(fā)生交通事故,s：小李通行困難 t：小李按指定時間到達
前提：p->s,t->┐s,t
結(jié)論：┐p
① t 前提引入
② t->┐s 前提引入
③ ┐s ①、②假言推理
④ p->s 前提引入
⑤ ┐p ③、④拒取式
構(gòu)造下面推理的證明
構(gòu)造下面推理的證明
如果A地發(fā)生了交通事故,則小李的通行會發(fā)生困難；如果小李按指定的時間到達了,則他的通行沒有發(fā)生困難；小李按指定的時間到達了.所以A地沒有發(fā)生交通事故.
（第一步：找出原子命題（1分）；
第二步：利用原子命題對原命題進行符號化且要求化成合取范式（3分）；
第三步：命題 依據(jù)）的形式,書寫證明過程（6分））
如果A地發(fā)生了交通事故,則小李的通行會發(fā)生困難；如果小李按指定的時間到達了,則他的通行沒有發(fā)生困難；小李按指定的時間到達了.所以A地沒有發(fā)生交通事故.
（第一步：找出原子命題（1分）；
第二步：利用原子命題對原命題進行符號化且要求化成合取范式（3分）；
第三步：命題 依據(jù)）的形式,書寫證明過程（6分））
化學(xué)人氣：961 ℃時間：2020-03-25 14:45:47
優(yōu)質(zhì)解答
我來回答
類似推薦
- 構(gòu)造下面推理的證明
- 離散數(shù)學(xué)構(gòu)造下面的命題推理證明:前提:我去看望老張或老李.如果我去看望老張,那么我要帶
- 離散數(shù)學(xué)題,利用推理證明解決
- 構(gòu)造推理證明:前提p→q,非r→p,非q,結(jié)論r
- 構(gòu)造下面命題推理的證明
- 一道電能表計算
- 電磁打點計時器和電火花打點計時器哪個誤差大?為什么?
- 簡要說明西歐莊園經(jīng)濟的特點?
- 2,3,4,5,6,7,8,9這些數(shù)用加,減號怎樣能=10.（負數(shù)也算）
- 當氫氣球飛到天上會怎么樣?
- 鋼筋符號讀法
- for him,it would be a __________to be able to have a day off work.A good B Luxury
猜你喜歡
- 1二次函數(shù)公式 頂點式和一般式的對稱軸,頂點坐標,X和Y的關(guān)系,最大值
- 2溫室效應(yīng)的產(chǎn)生與影響 研究目的
- 3以'"驚喜"為話題的優(yōu)秀作文
- 4造成空氣污染的有害物質(zhì)可分為（ ）和（ ）兩大類,目前計入空氣污染指數(shù)的項目暫定為（ ）（ ）（ ）
- 5Nor的用法
- 6化學(xué)肥料主要有______,______,______三大類.含氮量最高的化肥是______,復(fù)合肥料是______(填化學(xué)式).
- 7已知a2+2ab+b2-4（a+b-1）=0，求a+b-3的值．
- 8電位和電壓有什么異同?
- 91、2位和3、4位是反義詞的成語
- 10大道之行也中是謂大同中大同的今義
- 11Fe與稀硝酸反應(yīng)分哪兩種情況?
- 12平衡計分卡的指標體系是什么?