预期释义

✍ dations ◷ 2025-07-11 06:56:57 #预期释义

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

相关

  • 多环芳烃多环芳香烃(Polycyclic Aromatic Hydrocarbons,简称PAH或PAHs)又称多环性芳香化合物或多环芳香族碳氢化合物,其化学结构式超过100多种。是芳香族碳氢化合物的一种特例。由不包含
  • 美国对外关系委员会美国外交关系协会、外交关系委员会(英语:Council on Foreign Relations, CFR)是美国一个专门从事外交政策和国际事务的非营利、无党派的会员制组织、出版商和智库。它被认为是
  • 内斯里汉·基利希内斯里汉·基利希(土耳其语:Neslihan Kılıç,1993年5月2日-),土耳其女子羽毛球运动员。只列出曾进入半决赛的国际赛事成绩:
  • 坦桑尼亚行政区划坦桑尼亚为一单一制国家,全国分为31个名为的分区,之下再分为县。在1975年,坦桑尼亚本来有25个分区,后来“西湖区”(Ziwa Magharibi Region)改名为卡盖拉区(Kagera Region)。到了2002
  • 西尔恰尔西尔恰尔(英语:Silchar),是印度阿萨姆邦察查县的县治所在地。总人口142393(2001年)。该地2001年总人口142393人,其中男性72727人,女性69666人;0—6岁人口13853人,其中男7002人,女6851人
  • 骆驼祥子 (电影)《骆驼祥子》是1982年上映的中国大陆剧情片,改编自老舍小说《骆驼祥子》,由凌子风执导,张丰毅、斯琴高娃等主演。影片获1983年第3届中国电影金鸡奖最佳故事片奖。
  • 让-马丹·沙尔科让-马丹·沙尔科(法语:Jean-Martin Charcot,1825年11月29日-1893年8月16日),19世纪法国神经学家、解剖病理学教授。他的工作大大推动了神经学和心理学领域的发展。1825年11月29日,
  • 普雷斯内尔·金彭贝普雷斯内尔·金彭贝(法语:Presnel Kimpembe,法语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium Alternative","TITUS Cyberbit Basic","Arial Unicode MS","IPAPANNEW","Chrysanthi
  • 劳里·莱赫蒂宁劳里·莱赫蒂宁(芬兰语:Lauri Lehtinen,1908年8月10日-1973年12月4日),芬兰男子田径运动员。他曾代表芬兰参加1932年和1936年夏季奥林匹克运动会田径比赛,获得一枚金牌和一枚银牌。
  • 英格兰遗产委员会英格兰遗产委员会或英格兰文化资产组织(英语:English Heritage),官方名称为英国遗产信托(English Heritage Trust),是由英国文化媒体暨体育部提供赞助的一个行政性非政府部门公共机构。该部门主要负责保护英格兰自然署所辖以外的历史环境,并向英国国务大臣提供相关意见,例如登录建筑等的注册。英格兰遗产是依据1983年国家遗产法案建立的,其保护历史建筑的功能原先是属于环境部的。1999年4月1日皇家英格兰历史遗迹委员会也并入英格兰遗产。英格兰遗产管理著从巨石阵到铁桥等超过四百多座英