当前位置 :
离散数学-一阶逻辑中拒取式:(A→B)∧非B等价于(A→非B)∧B以上两个公式都能够推理出-非A?
1人问答
问题描述:

离散数学-一阶逻辑中拒取式:(A→B)∧非B等价于(A→非B)∧B以上两个公式都能够推理出-非A?

乔佩利回答:
  A→B可以转换成非A或B(蕴含定义),:(A→B)∧非B就等于(非A或B)与非B等于(非A与非B)或(B与非B)B与非B一定是假,在或运算中,逻辑假可以忽略(吸收律),所以原式继续转换为非A与非B   真值表检验:当B为真,无论A,(A→B)∧非B都为假,所以(A→B)∧非B不等价于非A,而等价于非A与非B   将B=非B代入:(A→B)∧非B,有:(A→非B)∧非(非B)也就是(A→非B)∧B,所以两个公式等价
数学推荐
最新更新
优秀数学推荐
热门数学
PC端 | 移动端 | mip端
字典翻译(zidianfy.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。
电话:  邮箱:
Copyright©2009-2021 字典翻译 zidianfy.com 版权所有 闽ICP备2022014709号-7
lyric 頭條新聞