题目

一条逻辑推理题
推理一：有些太空中的双子星是恒星.所以,有些恒星是太空中的双子星.
推理二：有些太空中的双子星不是恒星.所以,有些恒星不是太空中的双子星.
这两个推理谁对谁错?

提问时间：2021-04-01

答案

很简单
第一题,设双子星属于集合A,恒星属于集合B
“有些太空中的双子星是恒星”等价于：A交B不等于空集
因此B交A自然也不是空集
因此有些恒星是太空中的双子星正确
第二题,假设双子星集合包含了恒星集合,那么明显“有些恒星不是太空中的双子星”错误
2的错误就类似于已知-2