逻辑符号表

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

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

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

؋ ₳ ฿ ₿ ₵ ¢ ₡ ₢（英语：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)$

相关

高碳酸血症高碳酸血症（英语：Hypercapnia）是血液中二氧化碳(CO2)水平异常升高的情况。二氧化碳是身体代谢的气态产物，通常通过肺排出体外。高碳酸血症通常会引发增强呼吸和接触氧气反应，例
人类牙齿人类牙齿的主要功能是通过切割和磨碎的方式来分解食物，并且为吞咽和消化作准备。人类共有三种不同类型的牙齿，即门齿、犬齿和大臼齿。每种类型的牙齿有不同的用途。门齿用于切
意大利-达尔马提亚语支意大利-达尔马提亚语支（Italo-Dalmatian languages）是罗曼语族的一个下属分支，通行范围包括了意大利、科西嘉岛和克罗地亚的达尔马提亚海岸地区。意大利-达尔马提亚语支可以再
软腭音软腭音（英语：Velar consonant、又称软腭辅音，古汉语称为：牙音）是按发音部位分类的一类辅音。发音时，舌面后部接近软颚。一些软腭化的辅音在国际音标中还可以用⟨ˠ⟩表示（就是上标
马尔科姆二世肯尼思之子马尔科姆（中世纪盖尔语：Máel Coluim mac Cináeda；现代盖尔语：Maol Chaluim mac Choinnich，在现代英语化国王列表中被称为马尔科姆二世；954年10月5日—1034年11月25日）
夏建白夏建白（1939年7月－），中国半导体物理专家。生于上海，原籍江苏苏州。1965年北京大学物理系研究生毕业。中国科学院半导体研究所研究员。2001年当选为中国科学院院士。
塑胶分类标志塑料分类标志（Resin identification code）或称合成树脂识认码、塑料材质编号、塑料材料编码与塑料编码，是美国塑料工业协会（英语：Society of the Plastics Industry）于1988年所发
萨那萨那（阿拉伯语：صنعاء‎.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Ge
圣贝纳迪诺市圣贝纳迪诺（英语：San Bernardino），又译为圣博那蒂诺或圣博纳迪诺是美国加利福尼亚州圣贝纳迪诺县的县治，位于该县西南部。面积202.4平方公里，2006年人口198,985人。2010年人口209
苏奈杰夫德特·苏奈(Cevdet Sunay) (土耳其语：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000"