逻辑上 by o兼修o, Monday, May 13, 2013, 08:00 (4210 天前) @ o非常o 证明notA,和证明不了A,不是等价命题。这个地方都不明白,别人就很难对你再说些啥了。