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

  • <center id="usuqs"></center>
  • 
    
  • 若已知p˅q,p→s,q→t,如何推出s˅t?如果不能,也請(qǐng)說明還需要什么條件.

    若已知p˅q,p→s,q→t,如何推出s˅t?如果不能,也請(qǐng)說明還需要什么條件.
    如果能再列舉一些類似的推理就更好了.
    我的系統(tǒng)上是能顯示的;干脆用文字描述吧:
    若已知p或q,p蘊(yùn)含s,q蘊(yùn)含t,如何推出s或t?
    數(shù)學(xué)人氣:454 ℃時(shí)間:2020-03-28 00:46:10
    優(yōu)質(zhì)解答
    可以推出,使用反證法(也叫歸謬法)
    前提:p∨q,p→s,q→t
    結(jié)論:s∨t
    證明:
    1 ┐(s∨t)
    2 ┐s∧┐t
    3 ┐3
    4 p→s
    5 ┐p34拒取式
    6 ┐t
    7 q→s
    8 ┐q67拒取式
    9 ┐p∧┐q
    10 ┐(p∨q)
    11 p∨q
    12 ┐(p∨q)∧(p∨q)
    ┐(p∨q)∧(p∨q)是矛盾式
    我來回答
    類似推薦
    請(qǐng)使用1024x768 IE6.0或更高版本瀏覽器瀏覽本站點(diǎn),以保證最佳閱讀效果。本頁提供作業(yè)小助手,一起搜作業(yè)以及作業(yè)好幫手最新版!
    版權(quán)所有 CopyRight © 2012-2024 作業(yè)小助手 All Rights Reserved. 手機(jī)版