大学离散数学期末重点知识点总结1.常用公式p∧(P→Q)=>Q假言推论┐Q∧(P→Q)=>┐P拒取式┐p∧(P∨Q)=>Q析取三段式(P→Q)∧(Q→R)=>P→R条件三段式(PQ)∧(QR)=>PR双条件三段式(P→Q)∧(R→S)∧(P∧R)=>Q→S合取构造二难(P→Q)∧(R→S)∧(P∨R)=>Q∨S析取构造二难(x)((Ax)∨(Bx))(x)(Ax)∨(x)(Bx)(x)((Ax)∧(Bx))(x)(Ax)∧(x)(Bx)—┐(x)(Ax)(x)┐(Ax)—┐(x)(Ax)(x)┐(Ax)(x)(A∨(Bx))A∨(x)(Bx)(...
本文档为【大学离散数学期末重点知识点总结】,请使用软件OFFICE或WPS软件打开。作品中的文字与图均可以修改和编辑,
图片更改请在作品中右键图片并更换,文字修改请直接点击文字进行修改,也可以新增和删除文档中的内容。
该文档来自用户分享,如有侵权行为请发邮件ishare@vip.sina.com联系网站客服,我们会及时删除。
[版权声明] 本站所有资料为用户分享产生,若发现您的权利被侵害,请联系客服邮件isharekefu@iask.cn,我们尽快处理。
本作品所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用。
网站提供的党政主题相关内容(国旗、国徽、党徽..)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。