1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 高等教育
  5. 微积分

离散数学及其应用-01 命题逻辑.ppt

离散数学及其应用-01 命题逻辑.ppt

    *****证明p→(q→r)

    =p→(┐q∨r)(蕴含等值式)

    =p∨(┐q∨r)(蕴含等值式)

    =(┐p∨┐q)∨r(结合律)

    =┐(p∧q)∨r(德·摩根律)

    =(p∧q)→r(蕴含等值式)

    证毕利用等值演算还可以化简某些形式较为复杂的命题公式，并判断某些公式的类型。********【例1.6.5】构造证明，找出下列推理的有效结论。若数a是实数,则它不是有理数就是无理数,若a不能表示成分数,则它不是有理数。a是实数

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >