当前位置 :
【【急】离散数学中,当结论为析取式时,如何使用附加前提证明法如题.】
3人问答
问题描述:

【急】离散数学中,当结论为析取式时,如何使用附加前提证明法

如题.

杜洪伟回答:
  先用等值式“A→B等值于┐A∨B”把结论转换为蕴涵式
刘鑫屏回答:
  证明要写过程,把┐A∨B转化成A→B,把结论引入的理由是什么?像证明时理由有,前提引入,假言推理什么的?
杜洪伟回答:
  结论是蕴涵式A→B时,可以把A作为附加前提引入,证明结论是B。证明过程是利用推理规则构造的,例如假言三段论、析取三段论、假言推理、拒取式等等,去翻翻书吧
最新更新
热门数学
PC端 | 移动端 | mip端
字典翻译(zidianfy.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。
电话:  邮箱:
Copyright©2009-2021 字典翻译 zidianfy.com 版权所有 闽ICP备2022014709号-7
lyric 頭條新聞