一条逻辑推理题
问题描述:
一条逻辑推理题
推理一:有些太空中的双子星是恒星.所以,有些恒星是太空中的双子星.
推理二:有些太空中的双子星不是恒星.所以,有些恒星不是太空中的双子星.
这两个推理谁对谁错?
答
很简单
第一题,设双子星属于集合A,恒星属于集合B
“有些太空中的双子星是恒星”等价于:A交B不等于空集
因此B交A自然也不是空集
因此有些恒星是太空中的双子星正确
第二题,假设双子星集合包含了恒星集合,那么明显“有些恒星不是太空中的双子星”错误
2的错误就类似于已知-2