离散数学里的两道逻辑推理题.

如果只是确定结果, 那很简单.
(1) A1 与 B 矛盾. 所以, 以 A1 为前提, B 必然不成立.
(2)这是根据后件推前件, 肯定无效. 你可以试着把 x = 0 代入 A1, 看看 A1 是否成立, 就知道了.