逻辑证明:(甲→非甲)→非甲 急