逻辑符号表

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

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

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

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

相关

功效效能（英语：efficacy）是指事物产生功效的能力，常用于通识教育、医学和药理学。在医学中，效能是指一种医疗干预措施（如药物、医疗设备、外科手术和公共卫生干预）产生疗效的能力。在临
放射性碘碘（I，原子量：126.90447(3)）有37种已知同位素，其中只有碘-127是稳定同位素，其他都具有放射性，因此碘是一种单一同位素元素。天然存在的碘元素中含有两种同位素，主要为127I，以及痕量的1
异域物种形成现代生物分类群体从它们的共同祖先遗传分化的图示。进化论介绍（英语：Introduction to evolution）演化的证据共同起源共同起源的证据群体遗传学 · 遗传多样性突变 · 自
乌克兰格里夫纳荷林夫纳或赫里夫尼亚（乌克兰语：гривня，发音 .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","C
胞外底物在生物学，细胞外间质或细胞外基质（Extracellular matrix）是动物组织的一部分，不属于任何细胞。细胞外间质决定结缔组织的特性。此外细胞外间质还吸收了多种细胞生长因子和蛋白酶
海星亚门海星亚门（学名：Asterozoa）是动物界棘皮动物门之下的一个亚门，其下物种的特征包括呈星形的身体和径向发散的对称轴。
朱里亚·克劳狄王朝儒略-克劳狄王朝（Julio-Claudian Dynasty，前27年-68年），罗马帝国建立者屋大维与其家族形成的王朝，是罗马帝国第一个王朝。儒略-克劳狄王朝建立者屋大维，其在结束罗马共和末期的混
免费素食主义免费素食主义（英语：Freeganism，又译飞根主义）是一种反消费主义生活方式，指通过消费已经或将要被其他人（如超级市场）扔掉的食物的方法来使人对环境的影响最小化的行为习惯。如果食物
胡宏胡宏，可以指:
新加坡汉字陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画