逻辑符号表

✍ dations ◷ 2025-06-07 21:20:18 #逻辑,数学表示法,数学符号,标记法

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

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

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

相关

阿耳忒弥斯神庙坐标：37°56′59″N 27°21′50″E / 37.94972°N 27.36389°E / 37.94972; 27.36389阿耳忒弥斯神庙（希腊语：Ναός της Αρτέμιδος στην Έφεσο）是希腊神
自律神经失调自主神经紊乱，又称自律神经失调 Dysautonomia，就是指自主神经系统的功能异常或者障碍。自主神经系统是指控制人类身体那些自主行为的神经系统。这些保证人类生存的自主行为包
圣卡尔洛剧院圣卡洛剧院（Teatro di San Carlo）是意大利那不勒斯的一座歌剧院，位于市中心的的里雅斯特与特伦托广场，是欧洲现存最古老的持续使用的歌剧院，被列为世界遗产。剧院得名于波旁王朝
高吻龙高吻龙属（学名：Altirhinus）是鸭嘴龙超科下的一个属，生活于下白垩纪的蒙古。高吻龙是双足行走的植食性恐龙，但在摄食时则可以四足站立的。整个身长由鼻端至尾巴可能约8米。在2010
莫尔顿波莫尔顿波是大尺度的太阳日冕激波在色球上的记号，有如在太阳上发生的一种海啸，它们是由太阳闪焰生成的。它们的名称来自美国天文学家盖亚·莫尔顿，他在加利福尼亚州伯班克的洛克
环境丰容环境丰容是指的由于周围的复杂环境给其提供的信息处理造成的大脑变化。一般来说环境越是丰富多变，大脑中的轴突数量就越多，树突也越浓密复杂。环境丰容的影响主要于神经发育（英
英伦浩劫《英伦战火》（英语：Fire Over England），又名《荣光女王》（英语：Gloriana，即伊丽莎白一世），是一部1937年由伦敦电影公司出品的电影，由威廉·K·霍华德执导，克莱芒斯·达内编剧，改编自阿佛
三司三司，可能是：
Arthropod节肢动物是动物的一类/门，由昆虫纲、甲壳纲、蛛形纲等外骨骼动物组成被称为节肢动物门（学名：Arthropoda）的分类单位。为动物界中所属物种最多的一门，已被人类命名的昆虫类就有超
新国家 (葡萄牙)新国家（葡萄牙语：Estado Novo），也称葡萄牙第二共和国，是葡萄牙于1932年至1974年所建立的威权主义政权，通常被视为战间期法西斯主义国家之延伸。它从1926年5月28日政变后所建立的“