逻辑符号表

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

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

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

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

相关

雅虎地图Yahoo! Maps是一个免费的在线地图网站，由Yahoo!提供。已经于2015年6月15日停止服务。主网站Yahoo! Maps针对美国和加拿大提供了街景地图和行车导航功能，同时还具备下列主要功
葡萄园葡萄园（也译作葡萄山，德语：Weinberg）是指用来种植葡萄的一块坡地或者平地。多个葡萄园组成一个独立种植园或者大种植园，多个种植园再组成一个葡萄酒产区。种植者依照葡萄园的坡度
游牧游牧是指在一定的地理范围内管理一种或几种食草生畜，通过移动的方式间隔某种周期反复利用牧草而获得生活资源的畜牧生产方式。牧民、畜群和天然牧草是形成游牧的基本要素，移动
矢量图片矢量图形是计算机图形学中用点、直线或者多边形等基于数学方程的几何图元表示图像。矢量图形与使用像素表示图像的位图不同。所有的现代计算机显示器都要将矢量图形转换成栅
符符可以指：
佐久间象山受领名：修理号：象山、子迪、子明佐久间象山（1811年－1864年8月12日），名启之助，字子明，号象山，以号行。日本江户幕府末期思想家、兵法家，以主张公武合体和开国论而著名。象山出生于松
弹尾虫弹尾目（学名：Collembola），通称跳虫目或弹尾虫，是属于内口纲的小型节肢动物，以往曾被列入昆虫纲的无翅亚纲，现在通常与另外两个原本属于昆虫纲的原尾目及双尾目合并为内口纲。而内口
海洋缺氧事件缺氧事件或大洋缺氧事件指的是海洋中氧气缺乏的一段时期，期间海水中的硫化氢（H2S）含量大幅增加。它在地质史上曾多次发生，同时伴随而来的是生物集群灭绝。因此生物地层学上将缺
格顿学院剑桥大学格顿学院（英语：Girton College, Cambridge) 是剑桥大学的一个学院。格顿学院由艾米丽·戴维斯和芭芭拉·博迪肯于1869年建立，是英格兰第一所寄宿制女子学院。1977年学
2012年至2013年法国足球甲级联赛2012年至2013年法国足球甲级联赛，为法国足球甲级联赛的第75个赛季。本届赛季赛程表于2012年4月开始公布，至5月30日已确定本季全赛程表。本赛季于2012年8月11日开始，2013年5月2