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

  • <center id="usuqs"></center>
  • 
    
  • 【急】離散數(shù)學中,當結論為析取式時,如何使用附加前提證明法

    【急】離散數(shù)學中,當結論為析取式時,如何使用附加前提證明法
    如題.
    其他人氣:797 ℃時間:2020-05-27 18:18:15
    優(yōu)質解答
    先用等值式“A→B等值于┐A∨B”把結論轉換為蘊涵式證明要寫過程,把┐A∨B轉化成A→B,把結論引入的理由是什么?像證明時理由有,前提引入,假言推理什么的?結論是蘊涵式A→B時,可以把A作為附加前提引入,證明結論是B。證明過程是利用推理規(guī)則構造的,例如假言三段論、析取三段論、假言推理、拒取式等等,去翻翻書吧
    我來回答
    類似推薦
    請使用1024x768 IE6.0或更高版本瀏覽器瀏覽本站點,以保證最佳閱讀效果。本頁提供作業(yè)小助手,一起搜作業(yè)以及作業(yè)好幫手最新版!
    版權所有 CopyRight © 2012-2024 作業(yè)小助手 All Rights Reserved. 手機版