公式 (数理逻辑)

✍ dations ◷ 2025-04-25 13:26:40 #数理逻辑,规则

在数理逻辑中,公式是表达命题的形式语法对象,除了这个命题可能依赖于这个公式的自由变量的值之外。

公式精确定义依赖于涉及到的特定的形式逻辑,但有如下一个非常典型的定义(特定于一阶逻辑):公式是相对于特定语言而定义的;就是说,一组常量符号、函数符号和关系符号,这里的每个函数和关系符号都带有一个元数(arity)来指示它所接受的参数的数目。

但是相比较按照这个公式计算 f n {\displaystyle f_{n}\,} ,还是按照递归定义: f n = f n 2 + f n 1 ( n 3 ) {\displaystyle f_{n}=f_{n-2}+f_{n-1}(n\geq 3)\,} 进行计算更方便。


根据谓词逻辑的语义推导规则,语义应该具有一致性,就是对于一个命题逻辑语句集f,当且仅当至少存在这样一种解释i,f的一切元素在i之下都是真的,那么,f是语义一致的。在命题逻辑语义学内,一个赋值不能同时把真和假给予某个命题原子式。在命题逻辑语义学中,在同一解释下,一个集合不能既属于某个谓词的外延又不属于该谓词的外延。{现代西方哲学逻辑,复旦大学出版社235页}

相关

  • 横膈在哺乳动物的解剖学中,横膈膜(英语:Thoracic diaphragm)是一层骨骼肌薄膜,延展及肋骨底部。横膈膜将胸腔与腹腔相分隔,并对呼吸执行重要功能。解剖学中的膈膜(英语:Diaphragm)也可以
  • 弓虫症弓虫症是一种由弓形虫造成的寄生虫病,成年感染一般无症状。弓虫症常会伴随持续几周或几月之久的类似于流感的症状(英语:flu-like illness),例如肌肉疼痛、淋巴结触痛。一小部分人
  • 理发师理发师是一种职业,负责简单的理发。理发师与发型师不同,理发师通常只会帮男士进行简单的修剪头发或剃发,而发型师则会提供发型设计。理发师在中国古代有多种称呼,包括剃工、待诏
  • 英文字母英语字母,即现代英语所使用的二十六个字母。亦即基本拉丁字母的二十六个字母。声拉丁字母的应用频率不一,因为a与the、er等十分常用的关系,a/e/t使用频率都非常高。以下显示在
  • “的”是汉语、日语、朝鲜语中的后缀。在汉语名词或词组后方加上“的”,将产生词形变化成为属格。例如“我”本为代名词,“我的书”则表示“书”属于“我”。这点和英语的 's
  • 建国罗马的建立曾有考古学方面的研究,但更多资料的是建立在神话传说故事。最著名的故事莫过于罗慕路斯与雷穆斯,他们由一头母狼喂大。另根据研究, 另有一种说法称,罗马是由特洛伊战
  • 鸻形目鸻形目(学名:Charadriiformes)在生物分类学上是鸟纲中的一个目,包括鸻、鹬、鸥等。
  • 中华民国大学院中华民国大学院是民国初期国民政府掌管全中国学术及教育行政之最高行政机构,成立于1927年(民国16年)10月1日,相当于早前北洋政府的教育部、国民政府的国民政府教育行政委员会。
  • 边疆人文《边疆人文》,是南开大学边疆人文研究室在1942年至1950年主办的学术期刊。1942年,南开大学边疆人文研究室成立后,主办了学术刊物《边疆人文》,分为甲、乙两种:甲种是语言人类学专
  • 戴夫·弗兰科戴夫·弗兰科(英语:Dave Franco,1985年6月12日-),美国男演员,他最著名的作品有《实习医生成长记》、《吸血鬼就在隔壁》、《龙虎少年队》以及《惊天魔盗团》等。他是著名演员詹姆斯