字典翻译 问答 高中 数学 离散数学求帮助用推理规则证明下列各式P→(Q→R),S→P,Q=>S→R
问题标题:
离散数学求帮助用推理规则证明下列各式P→(Q→R),S→P,Q=>S→R
问题描述:

离散数学求帮助用推理规则证明下列各式P→(Q→R),S→P,Q=>S→R

惠娟回答:
  附加前提证明法.   1S附加前提引入   2S→P前提引入   3P12假言推理   4P→(Q→R))前提引入   5Q→R34假言推理   6Q前提引入   7R56假言推理   所以,推理正确.
点击显示
数学推荐
热门数学推荐
  • 语文
  • 数学
  • 英语
  • 政治
  • 地理
  • 历史
  • 化学
  • 生物
  • 物理
  • 综合
  • 高考