逻辑符号表

✍ dations ◷ 2025-08-13 17:34:46 #逻辑,数学表示法,数学符号,标记法

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

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

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

相关

蟑螂蟑螂是一种有着1亿年演化历史的杂食性昆虫。过往泛指所有属于“蜚蠊目”（Blattodea）的昆虫，目前已发现大约有4100多种，与人类的食性重叠，而只有部分蟑螂才会进入到人类的家居，它们
SIRT1n/an/an/an/an/an/an/an/an/an/aSIRT1（英语：Sirtuin 1），也被称为 NAD-依赖性去乙酰化酶Sirtuin-1（英语：NAD-dependent deacetylase sirtuin-1），是人类基因组中由SIRT1基因编码的蛋白
幻肢幻肢（phantom limb）是某些失去四肢的人类所产生的一种幻觉，这些人感觉失去的四肢仍旧附着在躯干上、并和身体的其他部分一起移动。幻痛，或幻肢痛、肢幻觉痛（phantom (limb) pain）
胃口不佳食欲不振（英语：Anorexia），也作食欲减退、食欲缺乏，民间常称“没胃口”，是指食欲降低的一种症状。虽然在许多非科研出版物中该词也可指代神经性厌食症，但是食欲不振的成因却多种多样
齐克隆B齐克隆B（Zyklon B或Cyclon B），是以氰化物为基的消毒熏蒸剂和杀虫剂，在第二次世界大战期间被纳粹德国用于执行种族灭绝作战。其前身齐克隆A（Zyklon A）系氰基甲酸甲酯与10%氯甲酸甲
数量级 (长度)本页米 (又称米) 为单位，按长度大小列出一些例子，以帮助理解不同长度的概念。
苯基丙酮苯基丙酮，还称：苯基-2-丙酮，苄基甲基酮或甲基苄基甲酮，是一种有机化合物。是一种透明的油状物，折射率为1.5168。在化学研究当中，有许多的方法可以制备合成苯基丙酮。其中较为简单
PBY卡特琳娜水上飞机PBY卡特琳娜（英语：PBY Catalina）是美国团结飞机公司（Consolidated Aircraft Corporation）应1932年美国海军的海上巡逻机项目而开发的一款军用水上飞机，该型飞机是第二次世界大战期
F-105战斗轰炸机23,834千克（52,545英磅）F-105雷公（Thunderchief），是美国服役于1960年代的超音速攻击机。虽然属于第二代战机但同时有战机和攻击机特色，可以说是现代F-15E或F/A-18等战轰机的先驱概
阿斯伯格综合征阿斯伯格综合征（英语：Asperger syndrome，简称 AS），是广泛性发育障碍（PDD）中的一种综合征，属于自闭症谱系障碍（ASD）。其重要特征是社交与非言语交际的困难，同时伴随着兴趣狭隘及重复特定