求助二道《形式逻辑学》题，急用，悬赏30分哦~

求助二道《形式逻辑学》题，急用，悬赏30分哦~

第一题：A和B全异，B和C交叉，那么A和C有三种可能关系：全异、交叉、A真包含于C。（图没法画，不过画图的思路是：先画A圈，再画B圈，二圈互不交叉，然后画一个与B交叉但与A互不交叉的C圈，这就是全异的情况；接下来把C圈扩大，使其与A圈交叉，便为交叉的情况；最后继续扩大C圈，使之把A圈全部包含，就是A真包含于C的情形。）

第二题：先把A、B、C三个判断符号化，于是有：
A：如果p，那么非q
B：非p
C：或者非p，或者q
现在如果同时肯定A和C，并且否定B（否定B即得p），那么由充分条件假言推理的肯定前件式，由A和p，可推出非q。然后，根据相容选言推理的否定肯定式，由C和p，可推出q。这就是说，如果同时肯定A和C，并且否定B，就能同时推出q和非q，而这是矛盾的。所以，不能同时肯定A和C，又否定B。

如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！

点此我要举报以上问答信息