逻辑符号表

✍ dations ◷ 2024-09-20 09:03:06 #逻辑,数学表示法,数学符号,标记法

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

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

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

相关

1954年－1968年非裔美国人白人优越主义非裔美国人民权运动（英文：Civil rights movement），是美国民权运动的一部分，是非裔美国人为争取与白人同等的地位而发起的群众性斗争运动，乃是经由非暴力的
国家列表以下是位于北美洲的国家及海外领土列表，当中包括名称、国旗、首都、货币、官方语言、面积、人口、国内生产总值（GDP）、人均国内生产总值（PPP）以及地图。（属地以浅蓝色背景显示）北
书写障碍书写障碍（英语：Dysgraphia、Agraphia），又称失写症，是一种以手写字所产生的学习不利现象，跟阅读能力或是智力障碍无关。书写障碍者通常还是可以写字，但是缺乏某些精细动作技巧，例如胜
红外线天文学红外天文学的主要研究对象是可以观测到红外辐射的天体，是天文学和天文物理学的一个重要分支。可见光的波长范围大约为400纳米（蓝色）至700纳米（红色），波长比700纳米长但仍比微波短
承恩门坐标：25°02′52″N 121°30′40″E / 25.047717°N 121.511192°E / 25.047717; 121.511192台北府城北门，正式名称为承恩门、或迳称为北门，是位于台湾台北市中正区的清代城门
2019年那不勒斯第三十届夏季世界大学生运动会（英语：XXX Summer Universiade，简称2019那不勒斯世大运或那不勒斯世大运）于2019年7月3日至2019年7月14日举行。2013年11月9日，国际大学运动总会宣布
200m200米赛跑是一个短跑项目。在室外400米跑道上，弯道处起跑，在终点直道结束。因此需要选手有综合的技术才能赢得比赛。对于大多数受过训练的运动员来说，这是一个纯力量型的比赛。
大宝蔡伯贯（？－1566年），四川省大足县人。明朝中期四川民变首领。蔡伯贯原为白莲教徒，在山西学艺。嘉靖四十四年（1565年）底，举旗反明，国号大唐，年号大宝。一月之间，连克合川、大足、铜梁、荣昌
地方分权制地方分权，“中央集权”的对称:1380。也就是权力的去中心化，是国家权力依法由中央政府和地方政府分别行使的制度。国家权力的一部分归地方政府行使的制度:1380。权力分散特指职
壹电视壹電視广播股份有限公司（英语：Next TV，简称壹电视），是一家台湾电视台，2010年12月28日正式开播，最初由壹传媒创立，至2013年6月转手年代集团经营。目前旗下频道有新闻台与综合台与电影