形式逻辑的真实问题

问题1: A和B完全不一样，B和C相交，那么A和C之间可能存在三种关系:完全不一样，相交，A真的包含在C中(你不能画图，但画图的思路是:先画圆A，再画圆B，两个圆互不相交，再画一个与B相交但不与A相交的圆C，这是完全不同的情况；接下来扩展圆C，使其与圆A交叉，这就是交叉情况；最后，继续扩展圆C以包含所有圆A，即A真的包含在C中的情况)

问题2:先象征A、B、C三个判断，所以有:

答:如果p，那么就不是q。

b:非p

c:或者不是p，或者q

现在，如果A和C都被肯定，而B被否定(如果B被否定，则得到P)，那么非Q就可以从充分条件假设推理的正前件，从A和P推导出来，然后根据相容替代推理的否定肯定公式，从C和P推导出Q，也就是说，如果你同时肯定A和C，否定B，就可以同时推导出Q和非Q，这是矛盾的。所以不能同时肯定A和C，否定b。