逻辑符号表

✍ dations ◷ 2025-06-29 04:16:23 #逻辑,数学表示法,数学符号,标记法

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

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

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

相关

糖化终产物糖化终产物（英语：Advanced glycation end products）是糖与蛋白质相互聚合、经过一系列的反应后产生的不可还原之物质。它也会改变及影响蛋白质的正常功能，与其他蛋白质连成大分
脸盲症脸盲症，即面部识别能力缺乏症。英文学名为prosopagnosia，亦可称为face blindness，该症状表现一般分为两种：患者看不清别人的脸；患者对别人的脸型失去辨认能力。Template:Lesions
巴西洋流巴西洋流（Brazil Current）为一沿着巴西南岸向南流动至拉普拉塔河的温暖洋流。此洋流为大西洋的北赤度洋流遇到南美大陆产生的分支。巴西洋流为一个如墨西哥湾流的西边界流（west
病理切片活体组织切片（biopsy），从动物或人类身上取下少量活组织作病理学诊断的一种检查方法。活检对肿瘤的临床诊断有重要意义，不仅可以确定其组织分类，还可确定其良性或恶性，为治疗提供依
安德烈·塔尔科夫斯基安德烈·阿尔谢尼耶维奇·塔尔科夫斯基（Андре́й Арсе́ньевич Тарко́вский，1932年4月4日－1986年12月29日）是俄国电影导演、歌剧导演、作家和演员，是
动画电影动画长片列表列出世界上所有动画电影，列表中也包括电视电影及录像带首映的电影作品。本列表中的动画电影片长至少要达到40分钟、至少75%是动画，或是动画长度40分钟。动画长片
无线电话无线电话可以指：
北马鲁古省北马鲁古省（印尼语：Provinsi Maluku Utara）又叫北摩鹿加省，是印度尼西亚东部的一个省，辖境包括马鲁古群岛的北部。北马鲁古省的首府是哈马黑拉岛的索菲菲，最大城市是特尔纳特。201
康平县康平县是辽宁省沈阳市下辖的一个县。康平县位于辽宁省最北部，属沈阳市辖县。全县区域面积2175平方公里。地理位置处于北纬 42 ° 31 ＇，至 43 ° 02 ＇，东经 122 ° 45 ＇，至 123 °
约翰 (英格兰国王)约翰（英文：John，1166年12月24日－1216年10月19日），英格兰国王，由1199年到1216年在位。亨利二世第五子，母亲为阿基坦的埃莉诺，而幼王亨利、狮心王理查、布列塔尼公爵若弗鲁瓦二世则是约