逻辑符号表

✍ dations ◷ 2025-09-06 16:24:09 #逻辑,数学表示法,数学符号,标记法

在逻辑中，经常使用一组符号来表达逻辑结构。因为逻辑学家非常熟悉这些符号，他们在使用的时候没有解释它们。所以，给学逻辑的人的下列表格，列出了最常用的符号、它们的名字、读法和有关的数学领域。此外，第三列包含非正式定义，第四列给出简短的例子。

要注意，在一些情况下，不同的符号有相同的意义，而同一个符号，依赖于上下文，有不同的意义。

؋ ₳ ฿ ₿ ₵ ¢ ₡ ₢（英语：Brazilian cruzeiro） $ ₫ ₯ ֏ ₠ € ƒ（英语：Florin sign） ₣ ₲ ₴（英语：Hryvnia sign） ₭ ₺ ₾ ₼ ℳ ₥ ₦ ₧ ₱（英语：Philippine peso sign） ₰ £ 元圆圆 ﷼ ៛ ₽（英语：Ruble sign） ₹（英语：Indian rupee sign） ₨ ₪（英语：Shekel sign） ৳ ₸ ₮ ₩ ¥ 円

$x\neq y\Leftrightarrow \neg (x=y)$ $x\neq y\Leftrightarrow \neg (x=y)$

相关

紫斑紫癜或称紫斑是皮肤或粘膜上出现的紫色血块，是小儿出血性疾病中一种常见的疾病；瘀点、瘀斑压之不退色者为其特征；多发于学龄儿童。3毫米～ 10毫米的紫色血块。小于3毫米大小的红
专性厌氧生物专性厌氧菌（obligate anaerobes）是一类仅能进行无氧呼吸，且无法在正常大气（氧含量21%）等富氧环境下存活的微生物。这类生物对氧气的耐受力不同，部分专性厌氧菌可以在氧含量达8%的
巴哈伊信仰巴哈伊信仰（波斯语：بهائیت‬‎ Bahá'iyyat, 阿拉伯语：（阿拉伯文）‎ Bahá'iyya /bəˈhaɪ/；或称巴哈伊教，简称巴哈伊，旧译“大同教”），其基本教义可概括为“上帝唯一”、“宗
龙涎香龙涎香（英语：Ambergris），鲸鱼的粪石，古称阿末香、俺八儿香，在西方又称灰琥珀，是一种外貌阴灰或黑色的固态腊状可燃物质，从抹香鲸消化系统所产生。其味甘、气腥、性涩，具有行气活血、
搜狐搜狐（NASDAQ：SOHU），是一家互联网中文门户网站。1995年，搜狐创始人张朝阳从美国麻省理工学院毕业回到中国，利用风险投资创建了爱特信信息技术有限公司，1998年正式推出搜狐网。2000年
孟买猫孟买猫指的是两种不同品种的黑猫。1958年，美国肯德基州路易维耳市的一位育种专家Nikki Horner 将一只深棕色的缅甸猫和一只古铜色眼的美国短毛猫杂交得到了一只迷你型的黑猫
卡蒂娅·里曼卡嘉·汉兴·莱妮·瑞曼（德语：Katja Hannchen Leni Riemann；1963年11月1日－），是一名德国一代艳星威尼斯影后女演员，著名电影如《该死的歌德》及《吸特乐回来了》等。此外，她还曾经与
新庄武圣庙坐标：25°02′02″N 121°27′00″E / 25.033840°N 121.450103°E / 25.033840; 121.450103新庄武圣庙，又称新庄关帝庙，是位于台湾新北市新庄区文衡里新庄庙街的关帝庙，被列为
理查德·赖特理查德·赖特（Richard Wright）可以指：
无毛猫斯芬克斯猫（Sphynx）又称加拿大无毛猫。这种猫是由于基因突变而产生的品种。体重3.5到7公斤，肌肉发达，毛发稀疏，皮肤皱褶似羚羊皮。头部棱角分明。微呈三角型。眼大呈柠檬状，多数呈