- 积分
 - 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)更应该成立了. 
明显我跟你学的不是一个东西!!! |   
 
 
 
 |