逻辑符号表

✍ dations ◷ 2025-07-20 18:54:16 #逻辑,数学表示法,数学符号,标记法

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

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

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

相关

外温动物变温动物（英语：Poikilotherm），俗称冷体动物、冷血动物或凉血动物。变温动物与外温动物（Ectotherms）不同。变温动物是没有体内调温系统的动物。一般体温不平，或者以行动来调节体温。
建材建筑材料是指用于土木工程的各种材料的总称，简称“建材”。狭义上的建材是指用于土建工程的材料，如钢、沙石、玻璃、水泥、涂料等，通常将水泥、钢材和沙石称为一般建筑工程的三
下山事件下山事件（日语：下山事件／しもやまじけん），是指1949年7月5日早上，日本国有铁道第一任总裁下山定则神秘失踪，翌日在常磐线铁轨上发现他离奇死亡的案件。案件发生在盟军占领下的日本，时
拟步行虫总科见内文拟步总科（Tenebrionoidea）为鞘翅目下一个相当大的总科。
廖俊智廖俊智（James C. Liao，1958年－），台湾化学家，生于高雄市。2014年获选为第30届中华民国中央研究院院士、2015年获选为美国国家科学院院士、2016年经总统核定为中华民国中央研究院第8
澎湖寨巡检澎湖寨巡检，中国历史上的官职，始设于元朝。元朝在14世纪于澎湖群岛设置此官职，成为中国王朝首度在澎湖群岛设置的官职。另外，澎湖寨巡检司则通常是该官职驻守处。驻于台湾澎湖马
黎巴嫩镑黎巴嫩镑（阿拉伯语：ليرة لبنانية‎ lira libnaniyya；法语：livre libanaise；货币符号：ل.ل.‎；货币编号：LBP）为黎巴嫩流通货币。辅币单位皮阿斯特（英语：Piastre）。1镑＝100皮
1946年阿留申群岛地震1946年阿留申群岛地震是于1946年4月1日发生于阿留申群岛附近海域的地震。该次地震引起了影响整个太平洋区域的海啸。该地震发生于1946年4月1日当地时间03:28（UTC-9）。地震震级
部队司令部美国陆军部队司令部（英文：United States Army Forces Command，简称：FORSCOM、部队司令部），整合美国陆军司令部下属的陆军的作战部队。有健全的兵种，部队规模是美国陆军最大规模的部
松阳县松阳县位于中国浙江省西南部，是丽水市下辖的一个县。县人民政府驻西屏镇府前街1号。始建于东汉建安四年(199年)，分章安县南乡置松阳县，属会稽郡，是丽水地区建置最早的县份。1958