逻辑符号表

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

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

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

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

相关

慢性支气管炎支气管炎是肺部支气管（中至大的大小之呼吸道）的发炎。症状包括咳痰、喘鸣、呼吸急促及胸口不适。支气管炎有急性和慢性两种。急性支气管炎的咳嗽症状一般持续三周，逾九成是病毒
T淋巴细胞T细胞（英语：T cell、T lymphocyte）是淋巴细胞的一种，在免疫反应中扮演着重要的角色。T是胸腺（thymus）而不是甲状腺（thyroid）的英文缩写。T细胞在骨髓被制造出来之后，在胸腺内进行“新
希腊陆军希腊陆军（希腊语: Ελληνικός Στρατός Ξηράς, 拉丁转写：Ellinikós Stratós Xirás），为希腊的陆上军事力量。陆军徽章中间为带有双头鹰图案的黄色盾牌，其上
阿扎瓦德民族解放运动阿扎瓦德民族解放运动（阿拉伯语：الحركة الوطنية لتحرير أزواد‎，法语：Mouvement National pour la Libération de l'Azawad，简称MNLA），以前的名称是阿扎
柏林市柏林（德语：Berlin，德语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gent
厌烦在日常的语境中，厌烦是指一种情绪和偶尔的心理状态，当一个人没有任何特别的事情要做，对他周围的环境不感兴趣，或觉得一天或一段时间比较无聊或乏味的时候会有厌烦这种情绪。现代
台21线台21线，是台湾的一条省道，起点为台中市东势区天冷，终点南投县信义乡塔塔加，与台18线相连接，全长共145.035公里。其中天冷经国姓乡至埔里为丰埔公路（丰原经东势至埔里），埔里日月潭段
过轻体重不足指一个人的体重低于健康水平，通常以身高体重指数（BMI）作指标，BMI低于18.5属于体重不足。医学上体重不足的定义，未必适用于其他方面（如作为吸引力的指标）。体重不足最常见的
FEMA联邦紧急事务管理署（英语：Federal Emergency Management Agency，缩写FEMA；中文简称急管署，也译联邦紧急措施署、联邦应急事务管理署、联邦紧急事务管理局等）是美国联邦政府行政部
定海大英帝国第一次定海之战发生于清道光二十年（公元1840年）7月5日，是第一次鸦片战争初期，英国远征军为攻打定海与清军发生的一场战役。这场战事最终以定海陷落英军获胜而告终，定海总