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

  • <center id="usuqs"></center>
  • 
    
  • 一道 推理理論的題目,

    一道 推理理論的題目,
    前提:(p∧q)->r,「s∨p,q,s
    結(jié)論:r
    用推理理論證明.
    我是這么做的:
    1.(p∧q)->r //前提引入
    2.q->r //化簡(jiǎn)
    3.q //前提引入
    4.r
    我想問的是:
    我這么做對(duì)么?一共四個(gè)前提,我只用了兩個(gè)就得出了.
    也就是我對(duì)置換規(guī)則不是太理解.
    置換規(guī)則定義是:在證明的任何步驟,命題公式中的子公式都可以用等值的公式置換,得到公式序列中的又一個(gè)公式.
    也就是在.(p∧q)->r 中p∧q能不能直接根據(jù)公式化簡(jiǎn)成q?
    說上的答案是四個(gè)前提全引入了,
    初學(xué),知道的朋友請(qǐng)?jiān)敿?xì)說下,有什么技巧,怎么理解,
    打錯(cuò),不是說上,是書上.
    數(shù)學(xué)人氣:450 ℃時(shí)間:2020-03-23 08:05:48
    優(yōu)質(zhì)解答
    你的證明從第二步開始就是錯(cuò)的,p∧q不能直接置換成成q,置換是用等價(jià)的公式來替換,p∧q不等價(jià)于q.訣竅就是每一步都假設(shè)是真的,后面的每一步都是上面一步或者2步推導(dǎo)出的結(jié)果.要把基本的等價(jià)式和基本蘊(yùn)涵式背熟.
    正確的證明:
    證明:
    (1)「S∨P P//前提引入
    (2)S P //前提引入
    (3)P T(1)(2)I //T規(guī)則,結(jié)論由(1)(2)蘊(yùn)涵推出
    (4)QP //前提引入
    (5)P∧Q T(3)(4)I //T規(guī)則,結(jié)論由(3)(4)蘊(yùn)涵推出
    (6)(P∧Q)->R P//前提引入
    (7)RT(5)(6)I //T規(guī)則,結(jié)論由(5)(6)蘊(yùn)涵推出
    我來回答
    類似推薦
    請(qǐng)使用1024x768 IE6.0或更高版本瀏覽器瀏覽本站點(diǎn),以保證最佳閱讀效果。本頁提供作業(yè)小助手,一起搜作業(yè)以及作業(yè)好幫手最新版!
    版權(quán)所有 CopyRight © 2012-2024 作業(yè)小助手 All Rights Reserved. 手機(jī)版