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

  • <center id="usuqs"></center>
  • 
    
  • 構造下面推理的證明

    構造下面推理的證明
    前提:p→(q→s),q,p∨┐r.結論:r→s
    實在是看不懂書上寫的了.
    數(shù)學人氣:769 ℃時間:2020-05-01 03:54:47
    優(yōu)質解答
    關鍵就是把握:┐r∨p等價于r->p
    證明:
    (1) p∨┐r,題中假設
    (2) ┐r∨p,(1)交換律
    (3) r->p,(2)等價變換
    (4) p->(q->s),題中假設
    (5) r->(q->s),(3)(4)三段論
    (6) ┐r∨(┐q∨s),(5)等價變換
    (7) ┐r∨┐q∨s,(6)結合律
    (8) ┐q∨┐r∨s,(7)交換律
    (9) q->(r->s),(8)等價變換
    (10) q,題中假設
    (11) r->s,(9)(10)拆分律
    我來回答
    類似推薦
    請使用1024x768 IE6.0或更高版本瀏覽器瀏覽本站點,以保證最佳閱讀效果。本頁提供作業(yè)小助手,一起搜作業(yè)以及作業(yè)好幫手最新版!
    版權所有 CopyRight © 2012-2024 作業(yè)小助手 All Rights Reserved. 手機版