离散数学里的两道逻辑推理题.设A1,A2是前提,在下列情况下,试确定,结论B是否有效: