在逻辑中,给定某个形式语言 L,可以有意图应用于 L 的原始符号的某个特权子集的一个释义。例如,一阶逻辑的一阶语言 L,它包含意图指示真值函数合取、析取、实质蕴涵、否定,全称量化运算,和某些其他(较少的)运算的符号。在皮亚诺算术的语言中,谓词符号 '<' 意图指示二元关系“严格小于”,而 '+' 意图指示(自然数上)二元运算(或函数)加法。在集合论比如 ZFC 中有一个谓词符号意图指示集合论成员关系。
首页 >
预期释义
✍ dations ◷ 2025-11-09 03:02:03 #预期释义
相关
- 钱信忠钱信忠(1911年-2009年12月31日),江苏省宝山县人。曾任中华人民共和国卫生部部长(1965年至1973年以及1979年至1982年)、国家计划生育委员会主任(1982年 - 1983年)。文革之前,他就以抓
- 相机陷阱相机陷阱指使用动作传感器、红外探测器或其他光束作为触发机关的遥控相机。它常被用来拍摄摄影师不容易直接拍得的画面,多运用在生态研究领域,例如监督狩猎、观察野生动物、寻
- 威廉·格里菲斯 (植物学家)威廉·格里菲斯(William Griffith,1810年3月4日-1845年2月9日)为英国医生、博物学家及植物学家。
- 蝙蝠属蝙蝠属(大蝙蝠),哺乳纲、翼手目、蝙蝠科的一属,而与蝙蝠属(大蝙蝠)同科的动物尚有、毛翼管鼻蝠属(毛翼管鼻蝠)、南蝠属(南蝠)、帆耳蝠属(帆耳蝠)等之数种哺乳动物。
- 让·图可让·图可(法语:Jean Turco,1948年3月5日-)出生于法国,为法国和意大利的摄影师,主要领域为人体摄影和人像摄影,同时也是一位摄影教育家和摄影教材作家。让·图可,法国艺术家协会(法语
- 善本善本是一种关于古籍、手稿、文献等纸质出版物的概念。在书稿流传中,常常会出现多种不同的版本;而其中经过仔细的校勘、抄写、印刷等修缮所得到的珍贵、优秀的版本,即称为“善本
- 松廷松廷(1848年-?),字叔恺,号尧臣、继云,乌苏氏,满洲镶红旗人,清朝官员、同进士出身。同治甲子科举人,光绪十二年(1886年),参加光绪丙戌科殿试,登进士三甲6名。同年五月,授国子监助教、候选堂
- 金·格林金·格林(Gene Green;1947年10月17日-)是美国的一位政治人物。自1993年开始,他是德克萨斯州第29选举区选出的美国众议院议员。他的党籍是民主党。格林在成为国会议员之前在1972年当选得克萨斯州众议院议员,在1985年当选得克萨斯州参议院议员。
- 青银共居青银共居是青年与乐龄人士共住的一种社会住宅类型,最早由荷兰的一家养老院发起这个概念。广义上可以指在一个社区之中,住着乐龄人士与青年,彼此互相照顾的生活;狭义上则是乐龄人士和青年互为室友关系,住在一起并共同分享某一部分的生活。青银共居与传统大家庭的概念有点不一样,他们的“家”并非一定要建立在血缘或地缘关系之上,而是透过彼此的同理心构筑起来。共居可以让老年人持续接触到社会的活力、在都市之中释出更多的居住资源;让青年人减轻房租负担的压力、身在异地有个栖身之处,并还可以与“在地安老(英语:Aging in pla
- 宫前天后宫宫前天后宫,位于中国广东省汕头市南澳县后宅镇宫前村,现为南澳县文物保护单位,类型为古建筑,公布时间为2003年8月5日。宫前天后宫的历史年代为清代。
