有啊,形式逻辑就是啊。Either A or B, not A, therefore B。各种Form可以了解一下。

请您先登陆,再发跟帖!