中间那个是什么符号

中间那个是什么符号

等价追答表示互为充要条件简单来说，表示，左边能推出右边，右边也能推出左边

等价符，
等价符号(equivalent symbol)[1] 表示等价关系的符号.所谓“A与B等价”指的是“如果A，那么B"，同时有“如果B，那么A"，或者说“从A推出B"，同时可“从B推出A"。
1761年，德国数学家朗伯(Lambert , J. H.)利用算术中的等号“一”作为逻辑等价符号，此后得到相当广泛的使用.法国数学家热尔岗(Gergonne , J. - D.)于1816年用字母“1”表示等价.英国数理逻辑学家德·摩根(De Morgan,A.)用“X}} Y”表示X与Y等价，即“所有的X是Y，所有的Y是X".英国数学家布尔(Boole , G.)仍用“一”表示等价.美国数学家皮尔斯(Peirce , C. S. )于1867年用等号下加逗号的形式表示等价，如 "a = 6"表示a与h等价·德国数学家弗雷格(Frege , ( F.L. >G.)于1893年用三线“三”代替“一”作为等价符号，后来得到广泛的应用，现在也有应用的.美国数学家穆尔(Moore , E. H.)于1910年用“三”表示全等，同时引人“D压”及“一”表示等价，这两种等价符号也是现代逻辑系统中常用的.借鉴于蕴涵符号“一”，有时把等价记为“匀‑，后来又简化为“~”和“一”，这几个符号都在现代数学系统中得到了应用.