消去蕴含逻辑词

强迫症，一直不明白为什么p->Q,为什么可以用￢p∪Q替换,后来终于弄明白了。

首先不能从逻辑上认识，比如p推导出Q，应该从p和Q的真假取值上分析上入手。

之前也是我一直没有彻底理解这个问题的关键。

然后介绍数字电路的思想，从逻辑上认识之后，不管用什么方式，只要能全面的表达出来这种逻辑，不管你内部的电路是怎么实现的。

 

而p->Q，有个特征

其实p→q⇔¬p∨q
→是蕴含符号，离散数学中，是这样定义的：
当且仅当p真q假时，p→q为假（即表格中第3行值为0），即其余三种情况下，都为真（表格中真值为1）

 

如果从这个角度看￢p∪Q

p	Q	￢p∪Q
1	1	1
1	0	0
0	0	1
0	1	1

 

这种真假关系该怎么理解呢？

可以理解为这种推导关系是否成立，举个例子：

1-1->0

如果1-1成立则等于0成立

如果1-1不成立则等于0也能成立，因为让0成立的前提条件有很多，也许是2-2呢

如果1-1不成立则等于0也不成立，这个也能理解，不是1-1，又结果不为0的有很多。

最后1-1成立，但等于0不成立，这就纯属扯淡了，已经说好了，是1-1，结果又不是0，这种情况必然是假的