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

《离散数学》02 命题逻辑的等值演算 教学课件.pptx

《离散数学》02 命题逻辑的等值演算 教学课件.pptx

    2.1等价式;

    等价公式的证明

    1：用列真值表。

    2：用公式的等价变换.(用置换定律)

    置换定律:设Φ（A）是含公式A的命题公式，Φ（B）是用公式B置换Φ（A）中A的所有出现后得到的命题公式，如果B?A，则Φ（A）?Φ（B）。;常用的等价等值式

    E1┐┐A?A双重否定律

    E2A∨A?A幂等律

    E3A∧A?A

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >