Question

所有的a都是b,有些b不是c,有些c不是a正确吗？为什么?

Answer 1

不正确，推不出结论。所有a都是b，可以推出有些b是a。有些b不是C，推不出任何结论。

例如：b的集合（1，2，3），c的集合（1，2），符合上面有些b不是c；再例如：b的集合（1，2，3），c的集合（4，5），符合上面有些b不是C；又例如：b的集合（1，2，3，4），c的集合（1，2，3，5），符合上面有些b不是C，也是符合上面有些b不是C。

介绍

（1）若两个集合A和B的交集为空，则说他们没有公共元素，写作：A∩B = ∅。例如集合 {1,2} 和 {3,4} 不相交，写作 {1,2} ∩ {3,4} = ∅。

（2）任何集合与空集的交集都是空集，即A∩∅=∅。

（3）更一般的，交集运算可以对多个集合同时进行。例如，集合A、B、C和D的交集为A∩B∩C∩D=A∩[B∩(C ∩D)]。交集运算满足结合律，即A∩(B∩C)=(A∩B) ∩C。

Answer 2

1：所有a都是b，可以推出有些b是a
2:有些b不是C，推不出任何结论。例如：b的集合（1，2，3），c的集合（1，2），符合上面有些b不是c；再例如：b的集合（1，2，3），c的集合（4，5），符合上面有些b不是C;又例如：b的集合（1，2，3，4），c的集合（1，2，3，5），符合上面有些b不是C，也是符合上面有些b不是C。所以推不出任何结论
3：同理，有些c不是a也是推不出任何结论

Answer 3

可以，根据题干：A推B，逆否为非B推非A；有些B推非C，换位为有些C推非B。综合，有些C推非A。

Answer 4

可以推出，所有a都是b，说明b包含了全部的a，即可以说明有些b是a，而所有a是c，所以有些b是c；三段论的标准描述是：所有a是c，而b是c，因此a是c；所以这个不能是三段论

追问

请看好题