逻辑符号表

✍ dations ◷ 2025-12-06 00:19:22 #逻辑,数学表示法,数学符号,标记法

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

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

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

相关

京山县京山市是湖北省直辖、荆门市代管的县级市，素有“鄂中绿宝石”之称，地处湖北省中部，大洪山南麓，江汉平原北端，东临安陆市、应城市，西接钟祥市，南连天门市、沙洋县，北倚随州市。京山
罗马公民罗马公民，罗马帝国的一种身份。212年之后，依据安东尼努斯敕令，所有的罗马帝国自由人，被授与公民权。在罗马帝国，下列的人民能够变成公民：公民赋予下列权利:
硒化铅硒化铅是铅的硒化物，化学式为PbSe，它是一种半导体材料，是具有NaCl结构的立方晶体。它的直接带隙在室温下为0.27 eV。硒化铅可由硒脲和乙酸铅在联氨（N2H4）或三碘化钾（KI3）的存在下
兆米兆米（Megametre，符号Mm，中国称兆米，台湾称百万公尺）是一个很罕用的长度单位，1 Mm等于100万米，即1000千米，大约相等于621.37英里。这个单位很少用的原因有二：以下是日常几个可使用兆米
英语印度英语(英语：Hinglish)，是一个印地文和英文混成的语言品种。印地文和英文能够自由地在一个句子内或句子之间互换之间。主要使用地区及位于印度次大陆、或印度裔社群。在19世
火浣布火浣布，亦称火烷布，为用石棉纤维纺织而成的布。因具有不燃性，且在火中可去污，而得名。有传说称此为日南郡北景县的一种火鼠(火光兽)毛皮编织而成。其名最早现于《列子》。
小说家 (诸子百家)在古代中国，尤其在春秋战国时代，小说家为诸子百家中的其中一家，代表人物有虞初。据班固所著《汉书·艺文志》曰：“小说家者流，盖出于稗官；街谈巷语，道听途说者之所造也。”，意即小说
天堂陌影《天堂陌影》是1984年的一部美国荒诞喜剧电影。由吉姆·贾木许编剧及导演，前爵士乐手约翰·卢瑞尔、理查德·埃德森、匈牙利裔演员艾斯特·巴林特主演。该片在美国独立电影史
温菲尔德·斯科特1812年战争塞米诺尔战争黑鹰战争美墨战争温菲尔德·斯科特（Winfield Scott，1786年6月13日－1866年5月29日），美国陆军中将，辉格党人，曾任美国陆军总司令（1841年-1861年）。斯科特从军
彭胜竹彭胜竹（1950年2月12日－），中华民国空军二级上将，籍贯湖北省武昌市，生于台南市，成长于客家村落，客语及台语流利，毕业于空军官校60年班、美国空军战争学院（英语：Air War College），为中华民国