两个逻辑两个逻辑证明题 50分 两个逻辑两个逻辑证明题 50分 求过程 上面的减号 有可能是加号