- 积分
- 2950
- 最后登录
- 1970-1-1
- 阅读权限
- 255
- 积分
- 2950
- 帖子
- 精华
|
本帖最后由 Get 于 2011-12-5 15:27 编辑
回复 427# lavi
我为啥要看你的结论?我利用你的逻辑条件,能推导出(A或B)->(非A及非B).你要做的,应该是推翻我这(A或B)->(非A及非B)的推论过程,而不是另外写一个结论.你吃的苹果是甜的,不代表我吃的苹果就不能是酸的.
(A或B)->(非A)
(A或B)->(非B)
(A或B)->(非A及非B)
C->D
C->E
你说,应该是C->(D或E),还是C->(D及E)??或者说,C->(D及E),是不是对的呢?
你必须知道,(D及E),是(D或E)的一个子集哦~
(D或E)=(D及E)+(D及非E)+(非D及E),(D或E)是成立的话,(D及E)怎么可能不成立?
(A或B)->(非A或非B)能成立,(A或B)->(非A及非B)更应该成立了.
明显我跟你学的不是一个东西!!! |
|