逻辑符号表

✍ dations ◷ 2025-01-31 10:55:44 #逻辑,数学表示法,数学符号,标记法

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

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

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

相关

降血脂药物降血脂药（英语：Hypolipidemic agents），又称调血脂药或antihyperlipidemic agents、lipid-lowering drugs，是一类用来治疗高脂血症的药物。常用的降血脂药有两大类，分别为他汀类药
hCG人绒毛膜促性腺激素（英语：Human chorionic gonadotropin，简写为hCG）是一种糖蛋白激素，由胎盘的滋胚层细胞分泌，主要功能是刺激黄体，有利于雌激素和黄体酮持续分泌，以促进子宫蜕膜形
CSi有机硅化学（organosilicon compounds）主要研究有机硅化合物的性质及反应活性。有机硅化合物就是含有碳硅键的有机化合物。和碳类似，有机硅也是四配位的四面体结构。在生物分子
美女与野兽《美女与野兽》（法语：La Belle et la Bête）是一则传统童话，属于阿尔奈-汤普森分类法中的第425C类故事，即丈夫被施了魔法。故事的第一个出版发行版本出自法国作家加布里埃尔-苏珊
阿拉伯芥拟南芥（学名：Arabidopsis thaliana），又名阿拉伯芥、鼠耳芥、阿拉伯草，是一种原生于欧亚大陆的小型开花植物。拟南芥被认为是一种杂草;它是在路边和被扰动土地上被找到的。拟南芥
巨人柱巨人柱（学名：Carnegiea gigantea）是巨人柱属（Carnegiea）中唯一的一个物种，属于仙人掌科，也是世界最高的仙人掌品种之一，高度可超过12米（39英尺），原产于墨西哥的索诺拉州、美国亚利桑那
清实录《清实录》，全称《大清历朝实录》，是清朝立国开始各个皇帝当朝的史书，是研究清朝历史的基本史籍。清人从关外即开始修订的《满洲实录》，太祖实录到末代皇帝的《宣统政纪》七十卷
天明天明可以是:
重度抑郁症重性抑郁疾患（英语：Major depressive disorder，缩写MDD），也可简称为抑郁症，是一种精神疾患，特征为超过两周的大多数时间都抑郁不已。常常伴随着没有精神、对一般休闲活动没有兴趣、
湖南师范大学坐标：28°11′11″N 112°56′50″E / 28.186504°N 112.947307°E / 28.186504; 112.947307湖南师范大学（英文：Hunan Normal University）坐落在湖南省长沙市岳麓区，学校面临湘江