設(shè)命題小張做后衛(wèi)為A;小李做前鋒為B;A隊(duì)取勝為C;A隊(duì)獲得第一名為D.那么這道題實(shí)際上為:已知(A∧B)→C;~C∨D;~D;A;證明~B.證明如下:
1,(A∧B)→C;
2,~C∨D;
3,~D;
4,A;證~B
5,~C;(2,3析?。?br/>6,~(A∧B);(5,1否定后件)
7,~A∨~B;(6德摩根律)
8,~~A;(4雙重否定)
9,~B;(8,7析?。?br/>證畢.
大一下學(xué)期數(shù)學(xué)推理題,用命題邏輯做.
大一下學(xué)期數(shù)學(xué)推理題,用命題邏輯做.
構(gòu)造下面推理的證明:在學(xué)院足球比賽中,如果小張做后衛(wèi)并且小李做前鋒,則A對(duì)將取勝;或者A隊(duì)未取勝;或者A隊(duì)獲得第一名;A隊(duì)沒(méi)有獲得第一名;小張做后衛(wèi).因此,小李沒(méi)有做前鋒.
構(gòu)造下面推理的證明:在學(xué)院足球比賽中,如果小張做后衛(wèi)并且小李做前鋒,則A對(duì)將取勝;或者A隊(duì)未取勝;或者A隊(duì)獲得第一名;A隊(duì)沒(méi)有獲得第一名;小張做后衛(wèi).因此,小李沒(méi)有做前鋒.
數(shù)學(xué)人氣:998 ℃時(shí)間:2020-04-05 19:11:39
優(yōu)質(zhì)解答
我來(lái)回答
類似推薦
- 數(shù)學(xué)邏輯命題
- 某單位200名青年職工中,黨員的比例高于80%,低于81%,其中黨齡最長(zhǎng)的10年,
- 平面上有n(n>3=3)個(gè)點(diǎn),任意三個(gè)點(diǎn)不在同一直線上,過(guò)任意三點(diǎn)作三角形,一共能做出多少個(gè)不同的三角形?分析:當(dāng)僅有3個(gè)點(diǎn)時(shí),可作()個(gè)三角形;當(dāng)有4個(gè)點(diǎn)時(shí),可作()個(gè)三角形.推理:.我要求畫圖.
- 數(shù)學(xué)推理題5,6,6,9,( ),90
- 幾道數(shù)學(xué)推理題
- 英語(yǔ)翻譯
- 1.買3千克茶葉和5千克糖一共用去420元買2千克同樣的茶葉比5千克糖貴130元,每千克茶葉和每千克糖各多少元
- 九點(diǎn)前給答案:某車間要加工一批零件,如果每小時(shí)加工零件28個(gè),可以比原計(jì)劃提前10小時(shí)完成.
- 甲、乙兩人在相距100米的跑道上來(lái)回跑步,甲每秒3米,乙每秒2米.如果他們?cè)诜謩e在跑道的兩端點(diǎn)出發(fā)
- 甲乙兩人相距六千米,兩人同時(shí)出發(fā)相向而行,一小時(shí)相遇;同時(shí)出發(fā)同向而行,甲三小時(shí)追上乙,
- 練習(xí)本沒(méi)本0.6元,小明拿了15元錢買了若干本,還找回4.2元.問(wèn):小明買了幾本練習(xí)冊(cè)?設(shè)未知數(shù)x列出方程.
- M的絕對(duì)值等于=-1,M=?
猜你喜歡
- 1黃銅圓棒的重量 直徑是 13毫米 長(zhǎng)度是19毫米 請(qǐng)問(wèn)多少克
- 2比例尺是1:60000,實(shí)際距離12cm圖上距離是多少?
- 3字母R的正確讀音(用音標(biāo)寫出來(lái))
- 4某晚,美軍在伊拉克進(jìn)行的軍事行動(dòng)中動(dòng)用了空降兵。美機(jī)在200m高處超低空水平飛行,美兵離開飛機(jī)后先自由下落,運(yùn)動(dòng)一段時(shí)間后立即打開降落傘,展傘后美兵以14m/平方秒的平均加速度勻減速下降,為了安全要求,美兵落地的速度不能超過(guò)4m/秒(g=1
- 5要使函數(shù)y=(m-3)x的n-2次方+n是關(guān)于x的一次函數(shù),則m= n=
- 6蒸發(fā)結(jié)晶實(shí)驗(yàn)的步驟
- 7問(wèn)題和結(jié)尾處都出現(xiàn)了"我真的聞到了花香",請(qǐng)講其作用和含義寫在下面
- 8如圖,同一直線上有A、B、C、D四點(diǎn),已知DB=2/3AD,AC=5/2CB,CD=4cm,求AB的長(zhǎng).
- 9閱讀冰心詩(shī)歌,回答下列問(wèn)題
- 10氫氧化鐵膠體中含有FeCl3雜質(zhì),用什么方法可以提純此分散系
- 11已知二次函數(shù)y=(m^2-2)x^2-4mx=n的圖像的對(duì)稱軸為X=2,且它的頂點(diǎn)在y=1\2x+1上,求這個(gè)函數(shù)解析式.
- 12并列結(jié)構(gòu) 英文怎么說(shuō)