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

  • <center id="usuqs"></center>
  • 
    
  • 先用人工語言將下面的推理形式化,然后用歸謬賦值法判定其是否正確

    先用人工語言將下面的推理形式化,然后用歸謬賦值法判定其是否正確
    如果地球繞日公轉(p)而不自轉(非q),則地球上就沒有白天和黑夜(非r);然而地球上有白天和黑夜(r);所以,地球或者不公轉(非p),或者既公轉又自轉.
    請你寫出這個推理式(4分),并用你學過的知識判斷其是否有效(6分)
    歸謬賦值法
    數(shù)學人氣:837 ℃時間:2020-09-05 09:53:58
    優(yōu)質解答
    原題推理式:
    1.p∧ ¬q → ¬r
    2.因為r,所以¬p∨(q∧p)
    歸謬法證明:因為r,所以¬(p∧ ¬q),即 ¬p ∨ q ∨ (¬p ∧ q).
    于題意不符,所以這是錯誤的推理.
    我來回答
    類似推薦
    請使用1024x768 IE6.0或更高版本瀏覽器瀏覽本站點,以保證最佳閱讀效果。本頁提供作業(yè)小助手,一起搜作業(yè)以及作業(yè)好幫手最新版!
    版權所有 CopyRight © 2012-2024 作業(yè)小助手 All Rights Reserved. 手機版