当前位置 :
离散数学推理论证例题求解释?例3:证明(PVQ)∧(P→R)∧(Q→S)┠SVR.证法:(1)PVQP(2)┐P→QT(1)E(3)Q→SP(4)┐P→ST(2)(3)I(5)┐S→PT(4)E(6)P→RP(7)┐S→RT(5
1人问答
问题描述:

离散数学推理论证例题求解释?

例3:证明(PVQ)∧(P→R)∧(Q→S)┠SVR.

证法:(1)PVQP

(2)┐P→QT(1)E

(3)Q→SP

(4)┐P→ST(2)(3)I

(5)┐S→PT(4)E

(6)P→RP

(7)┐S→RT(5)(6)I

(8)SVRT(7)E

怎么来的?这种例题困扰我好几天了.

冯冬竹回答:
  后边标注P的表示已知条件,标注类似T(1)E这样的,就是由前面第(1)步的结论继续推证得到的结果.E应该是根据定理推证,I是根据前面某步或者某几步的结论推证.具体解释就是这样的:证法:(1)PVQP这是已知条件,不多说明...
最新更新
PC端 | 移动端 | mip端
字典翻译(zidianfy.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。
电话:  邮箱:
Copyright©2009-2021 字典翻译 zidianfy.com 版权所有 闽ICP备2022014709号-7
lyric 頭條新聞