得了癌症会死，那么可以推理不得癌症就不会死。。。

所有跟帖： 

• 呵呵，“挨打”需要“打人”存在，“会死”不需要“不会死”存在。 -沙丁- ♂ (0 bytes) () 05/15/2015 postreply 13:56:57

• 敏捷有理，但也建立不起映射对应。应该也不是子集和全集的问题。而是这种语言表达，定义不明确，没有简化到可以进行逻辑运算的程度。 -FarewellDonkey18- ♂ (0 bytes) () 05/15/2015 postreply 14:27:50