当前位置 :
离散数学求帮助用推理规则证明下列各式P→(Q→R),S→P,Q=>S→R
1人问答
问题描述:

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

惠娟回答:
  附加前提证明法.   1S附加前提引入   2S→P前提引入   3P12假言推理   4P→(Q→R))前提引入   5Q→R34假言推理   6Q前提引入   7R56假言推理   所以,推理正确.
数学推荐
最新更新
优秀数学推荐
热门数学
PC端 | 移动端 | mip端
字典翻译(zidianfy.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。
电话:  邮箱:
Copyright©2009-2021 字典翻译 zidianfy.com 版权所有 闽ICP备2022014709号-7
lyric 頭條新聞