逻辑符号表

✍ dations ◷ 2025-04-04 05:38:17 #逻辑,数学表示法,数学符号,标记法

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

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

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

相关

亚麻籽油亚麻籽油（英语：Linseed oil或flaxseed oil）又称亚麻仁油、亚麻仁籽油、亚麻油，是从亚麻的干燥成熟种子中获得的无色至淡黄色油。利用萃取来取得油，有时需要用溶剂提取。亚麻籽油
皮皮部，为汉字索引中的部首之一，康熙字典214个部首中的第一百〇七个（五划的则为第十三个）。就繁体和简体中文中，皮部归于五划部首。皮部通常是从左、右方为部字。且无其他部首可用
跳虫弹尾目（学名：Collembola），通称跳虫目或弹尾虫，是属于内口纲的小型节肢动物，以往曾被列入昆虫纲的无翅亚纲，现在通常与另外两个原本属于昆虫纲的原尾目及双尾目合并为内口纲。而内口
20132013年印度尼西亚APEC峰会全称亚太经合组织第二十一次领导人非正式会议（英语：THE 21st APEC ECONOMIC LEADERS' MEETING），是第24届亚太经合组织领导人年度会议。会议于2013年10
视觉艺术视觉艺术（英语：Visual Arts），简称视艺，是一种艺术形式，是指本质上是以视觉目的为创作重点的作品，例如素描、绘画、摄影、版画、灯光和电影。而牵涉到三维立体空间物件的作品，例如雕
暨南大学出版社暨南大学出版社是中华人民共和国的一家出版社，成立于1989年，社址位于广东省广州市，由国务院侨务办公室主管、暨南大学主办。
动脉血管硬化动脉血管硬化（英语：Arteriosclerosis）是指动脉血管壁变厚、变硬并失去弹性的过程。这一过程会使得脏器、组织的供血逐渐减少，并因动脉粥样硬化（动脉血管硬化的一种，因脂肪、胆固醇
柯斯塔安东尼奥·路易斯·桑托斯·达科斯塔（葡萄牙语：António Luís Santos da Costa, GCIH（英语：Order of Prince Henry）；1961年7月17日－），是一名葡萄牙律师与政治家，现任葡萄牙总理。曾担
第65届威尼斯电影节第65届威尼斯电影节于2008年8月27日至9月6日在意大利水城威尼斯举行。开幕影片是科恩兄弟导演的《阅后即焚》，闭幕影片是意大利小蒂托-西帕于1973年拍摄的《Orfeo 9》。
批准批准为一国表示其同意接受条约拘束之方式之一。按维也纳条约法公约第14条规定：“遇有下列情形之一，一国承受条约拘束之同意,以批准表示之: (甲)条约规定以批准方式表示同意；(乙