预期释义

✍ dations ◷ 2025-08-26 17:49:25 #预期释义

在逻辑中,给定某个形式语言 L,可以有意图应用于 L 的原始符号的某个特权子集的一个释义。例如,一阶逻辑的一阶语言 L,它包含意图指示真值函数合取、析取、实质蕴涵、否定,全称量化运算,和某些其他(较少的)运算的符号。在皮亚诺算术的语言中,谓词符号 '<' 意图指示二元关系“严格小于”,而 '+' 意图指示(自然数上)二元运算(或函数)加法。在集合论比如 ZFC 中有一个谓词符号意图指示集合论成员关系。

相关

  • 水分水分子(化学式:H2O)是地球表面上最多的分子,除了以气体形式存在于大气中,其液体和固体形式占据了地面70-75%的组成部分。标准状况下,水分子在液体和气体之间保持动态平衡。室温下,
  • 2016 HO32016 HO3,或写为2016 HO3,是一颗发现于2016年4月27日的小行星,被认为是至今发现轨道最稳定的地球的准卫星。当2016 HO3环绕太阳时,它看起来也同时环绕地球运转。虽然它和地球距
  • 分歧者:异类觉醒《分歧者:异类觉醒》(英语:)是一部于2014年上映的美国科幻冒险反乌托邦电影,由尼尔·柏格执导,剧情改编自韦罗妮卡·罗思(Veronica Roth)同名畅销小说三部曲的第一部作品《分歧者》,
  • 荒诞不经的故事荒诞不经的故事(Tall Tale)是指一类基于历史人物或民间英雄,并夸大事情经过或结果的故事。这类故事的特色在于想像力,而非文学意含。这类故事是美国民间文学(英语:folklore of the
  • 小行星采矿小行星采矿是从小行星和其他微型行星,包括近地天体中开采原材料,这些材料可用作太空建造或运回地球。小行星上拥有的丰富的水和碳、硫、氮、磷等资源,能够为深空探测设施提供燃
  • 胡代尼采胡代尼采(捷克语:Chudenice,德语:Chudenitz)是捷克共和国比尔森州克拉托维县的一个集镇。位于克拉托维西北约12公里处,比尔森西南35公里处,布拉格西南113公里处。全镇面积21.12平方
  • 关庙区坐标:22°57′47″N 120°19′40″E / 22.962971°N 120.327805°E / 22.962971; 120.327805关庙区(台湾话:.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMa
  • 江川卓江川卓(1955年5月25日-),生于日本福岛县磐城市,前职业棒球选手,守备位置为投手,右投右打。1987年宣布退役。高中时代有“怪物”之称,高三创下145局连续完封记录,被视为“一百年才会诞
  • 东平路 (太平区)东平路位于台中市太平区境内,不仅是太平区东西向的重要道路之一,也是太平区通往台中车站及南投县国姓乡替代道路捷径,东平路西起台74线东平桥、环中东路四段口,并和台中市东区乐
  • 逗号分隔值逗号分隔值(Comma-Separated Values,CSV,有时也称为字符分隔值,因为分隔字符也可以不是逗号),其文件以纯文本形式存储表格数据(数字和文本)。纯文本意味着该文件是一个字符序列,不含必须像二进制数字那样被解读的数据。CSV文件由任意数目的记录组成,记录间以某种换行符分隔;每条记录由字段组成,字段间的分隔符是其它字符或字符串,最常见的是逗号或制表符。通常,所有记录都有完全相同的字段序列。CSV文件的格式不存在通用标准,也没有指定所使用的字符编码,但是在RFC 4180中有基础性的描述,而