逻辑符号

✍ dations ◷ 2025-12-08 23:43:00 #逻辑符号
在逻辑是否中,经常使用一组符号来表达逻辑结构AI。因为逻辑学家非常熟悉这些符号,他们在使用的时候没有解释它们。所以,给学逻辑的人的下列表格,列出了最常用的符号、它们的名字、读法和有关的数学领域。此外,第三列包含非正式定义,第四列给出简短的例子。要注意,在一些情况下,不同的符号有相同的意义,而同一个符号,依赖于上下文,有不同的意义。؋ ​₳ ​ ฿ ​₿ ​ ₵ ​¢ ​₡ ​₢(英语:Brazilian cruzeiro) ​ $ ​₫ ​₯ ​֏ ​ ₠ ​€ ​ ƒ(英语:Florin sign) ​₣ ​ ₲ ​ ₴(英语:Hryvnia sign) ​ ₭ ​ ₺ ​₾ ​ ₼ ​ℳ ​₥ ​ ₦ ​ ₧ ​₱(英语:Philippine peso sign) ​₰ ​£ ​ 元 圆 圆 ​﷼ ​៛ ​₽(英语:Ruble sign) ​₹(英语:Indian rupee sign) ₨ ​ ₪(英语:Shekel sign) ​ ৳ ​₸ ​₮ ​ ₩ ​ ¥ 円x ≠ y ⇔ ¬ ( x = y ) {displaystyle xneq yLeftrightarrow neg (x=y)}

相关

  • 二氧化碳二氧化碳(IUPAC名:carbon dioxide,分子式:CO2)是空气中常见的化合物,由两个氧原子与一个碳原子通过共价键连接而成。空气中有微量的二氧化碳,约占0.04%。二氧化碳略溶于水中,形成碳酸
  • 炎症性肠病炎症性肠病、发炎性肠道疾病(英语:Inflammatory Bowel Disease, 简称IBD)是一组特定的肠道慢性疾病的统称,主要包括克隆氏症和溃疡性结肠炎两种。炎症性肠病的主要分为克罗恩病
  • 2005年英国大选托尼·布莱尔 工党托尼·布莱尔 工党政治主题2005年英国大选(United Kingdom general election of 2005)于2005年5月5日举行。在首相托尼·布莱尔请求之下,英国女王伊丽莎白二
  • 社会市场经济社会市场经济(德语:Soziale Marktwirtschaft;英语:social market economy),为第二次世界大战后,德意志联邦共和国(西德)所采取的主要经济制度。第二次世界大战结束以来,联邦德国第一任
  • 联合国经济及社会理事会联合国经济及社会理事会(英语:United Nations Economic and Social Council,缩写ECOSOC )是联合国六个主要机构之一,它的任务是协助联合国大会促进国际经济和社会合作和发展。经
  • 洛哌丁胺洛哌丁胺(loperamide), 较常用的商品名是Imodium,是一种止腹泻药物。常用于肠胃炎、炎症性肠病、和短肠征候群。洛哌丁胺并不适用于痢疾病人身上,大多是口服药物。常见的副作用
  • 加洛林帝国加洛林帝国 (800–888) 是中世纪早期欧洲西部和中部的帝国。加洛林帝国被加洛林王朝统治,加洛林家族从751年开始成为法兰克国王,774年开始成为意大利伦巴底国王。800年,法兰克
  • 排尿疼痛排尿疼痛、尿痛(英语:dysuria)是指在排尿过程中出现的疼痛现象,是与膀胱有关的症状(有时也作“下泌尿道症状”)。患者通常会形容排尿疼痛为“刺痛、灼烧、瘙痒”的感觉。该症状通
  • 精华町精华町(日语:精華町/せいかちょう Seika chō */?)是位于京都府南部的行政区划,木津川从辖区东侧通过,辖内西部与南部为丘陵地,主要市区位于东部的平原。由于被划入关西文化学术
  • 语文学语文学(英语:Philology,全称语言文字学,又称文献学),是语言学的一个分支,有时作为历史语言学(英语:Historical Linguistics)的同义词, 偏重从文献角度研究语言和文字。汉语语文学一般