逻辑符号表

✍ dations ◷ 2025-10-22 18:02:12 #逻辑,数学表示法,数学符号,标记法

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

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

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

相关

尿尿，又称尿液，是人类和脊椎动物为了新陈代谢的需要，经由泌尿系统及尿路排出体外的液体排泄物。排出的尿液可调节机体内水和电解质的平衡以及清除代谢废物且可同时散热，尤其是退化
蜡蜡通常在狭义上是指脂肪酸、一价或二价的脂醇和熔点较高的油状物质；广义上通常是指具有某些类似性状的油脂等物质。在不同的场合下对于‘蜡’的定义也有所区别。但在广义上，蜡
转口港转口港是指以从事转口贸易为主的港口，很多时候专门指东方国家与西方国家转口贸易。
低纬纬度（φ）是地球表面一个点的南北地理位置的表示法。纬度与经度通常一起使用以确定地表上某点的精确位置。纬度是一个角度，其范围从赤道的0度到南北极的90度。在英文文本中，纬度
沃伦·哈定沃伦·盖玛利尔·哈定（Warren Gamaliel Harding，1865年11月2日－1923年8月2日），美国第29任总统。共和党籍。1920年当选总统，1923年因心脏病突发于任内病逝。俄亥俄州出身，知名报刊发
谢尔普霍夫期谢尔普霍夫期（英语：Serpukhovian）是石炭纪的第三个时期，年代大约位于330.9–323.2百万年前。
姫路城坐标：34°50′22″N 134°41′38″E / 34.83944°N 134.69389°E / 34.83944; 134.69389姬路城（日语：姫路城〔姫路城〕／ひめじじょう Himeji-jō）是一座位于日本兵库县姬路市的
澳门大学工商管理学院澳门大学工商管理学院（葡萄牙语：Faculdade de Gestão de Empresas，英语：Faculty of Business Administration），为澳门大学下设的其中一所学院，提供学士、硕士、博士学位课程及证书
班森级驱逐舰班森级驱逐舰（英语：Benson class destroyer）是美国海军在二次大战以前以及进行中建造的驱逐舰级，改采锅炉和轮机室交错配置方式提高生存力。前六艘在1938会计年度交由伯利恒钢铁
2019冠状病毒病马萨诸塞州疫情2019冠状病毒病马萨诸塞州疫情，介绍2019冠状病毒病疫情中，美国马萨诸塞州各地发生的情况。马萨诸塞州的第一例确诊病例出现在2020年2月1日；3月2日之后，病例数急剧上升。3月10日，