形式逻辑演绎推理中的一题 已知 A ,「A 求证 B 最好有原理,谢了哈···