普通逻辑证明题在线等 证明 (甲→非甲)→非甲