离散数学-一阶逻辑中 拒取式:(A→B)∧非B 等价于 (A→非B)∧B 以上两个公式 都能够推理出- 非A?
题目
离散数学-一阶逻辑中 拒取式:(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,所以两个公式等价
举一反三
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
最新试题
- 1. Ronald’s monthly demand for Cap Rock Chardonnay is given by 116()50010QITP=+ͨ
- 基督山伯爵人物简介
- 数学里有个圆周率符号π,那是哪一类字母?
- 托盘天平(天平的使用) 1、…调节…… 2、…调节…… 3、称量 4、读数 ——分别应做哪些具体的事情?
- 四年级数学练习册上册48页答案
- 英语短语out of doors,in the open air什么区别
- 小东看一本故事书,四天看了全书的3分之2,照这样计算,他看完这本书还要多少天?
- 七年级下生物问题
- 已知f(x)是奇函数,且当x>0时,f(x)=x|x-2|,求x<0时,f(x)的表达式.
- 焦点在x轴上,经过点(-√2,-√3),(√15/3,√2),求双曲线的标准方程,
热门考点