考虑不可能条件下的包含关系
如果正方形是圆,并不代表所有的圆都是正方形,只能说明至少有一些圆是正方形,你可以说你是中国人,但不能说中国人都是你吧?
不一定。命题和逆命题不等价,和逆否命题等价。如果正方形是圆,那么不是圆就肯定不是正方形。
两个集合的关系有几种:
1、无交集
2、A=B
3、A是B的真子集
4、A与B有交集但不重合
正方形是圆意味著可能是2、3两种情况
2、A=B时,可以说「如果正方形是圆,那么圆是正方形」
3、A是B的真子集时,则「如果正方形是圆,不能说圆是正方形,只能说有的圆是正方形,有的圆不是正方形,也可以说不是圆的肯定不是正方形」
举个例子:
定义 正方形=自然数 ; 圆=正整数+0
则 正方形是圆,圆也是正方形
有些答主大概是没有学过数理逻辑吧。
首先,「正方形是圆」是一个假命题;
其次,根据逻辑学原理,假命题蕴含任何命题是永真的。即对于任意假命题p与任意命题q,命题「p蕴含q」永真。
所以,在此前提下圆是正方形。
当然 真实情况不是如此。