精品偷拍一区二区三区,亚洲精品永久 码,亚洲综合日韩精品欧美国产,亚洲国产日韩a在线亚洲

  • <center id="usuqs"></center>
  • 
    
  • 大一下學(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)有做前鋒.
    數(shù)學(xué)人氣:998 ℃時(shí)間:2020-04-05 19:11:39
    優(yōu)質(zhì)解答
    設(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/>證畢.
    我來(lái)回答
    類似推薦
    請(qǐng)使用1024x768 IE6.0或更高版本瀏覽器瀏覽本站點(diǎn),以保證最佳閱讀效果。本頁(yè)提供作業(yè)小助手,一起搜作業(yè)以及作業(yè)好幫手最新版!
    版權(quán)所有 CopyRight © 2012-2024 作業(yè)小助手 All Rights Reserved. 手機(jī)版