公式 (数理逻辑)

✍ dations ◷ 2025-11-30 15:40:04 #数理逻辑,规则

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

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

或

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

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

相关

安徽医科大学安徽医科大学为中国安徽省合肥市的一所省属重点公立大学，原为1926年成立于上海的东南医学院，现地址为合肥市梅山路81号。学校开设30个本科专业，有9个硕士学位授权一级学科点，74
康拉德·布洛赫康拉德·布洛赫（Konrad Emil Bloch，1912年1月21日－2000年10月15日），德国生物化学家，1936年加入美国国籍，1964年诺贝尔生理学或医学奖得主。布洛赫出生于西里西亚尼斯，1930年至1934年
宫颈乳头状腺癌宫颈乳头状腺癌（英语：Villoglandular adenocarcinoma of the cervix, VGA），也称乳头状腺癌、绒毛型宫颈腺癌（villoglandular papillary adenocarcinoma, papillary villoglandula
地幔热柱地幔热柱（Mantle plume）或热柱或地幔柱是地球等行星地幔热对流的一种方式。较热的岩石由地幔底部一路上升至地幔顶部，此时岩石顶部会部分熔融，岩浆进而喷出地表，而这可能是热点或
蛮野社团法人台湾蛮野心足生态协会（英语：Wild at heart Legal Defense Association, Taiwan），简称蛮野，是台湾一个环境法律团体，于2003年成立。台湾蛮野心足生态协会是由原籍美国的律
王叔和王叔和（210年？－258年？），名熙，西晋高平（治今山东菏泽市巨野县东南）人。个性沉静，博通经方，早年随族南下荆襄投奔王粲，与名医张仲景弟子卫汛要好，晋武帝时为太医令。晚年寓居麻城。王叔和在
文明开化文明开化，是指在明治时代，西洋的文明传入至日本，引致在制度及文化上出现巨大转变的现象。近代化＝西欧化，是在明治时代的一贯课题。文明开化这个词汇一般是用来指，在明治初年，世相风
玄菟郡玄菟郡（谚文：현도군）是汉四郡之一，其疆域屡屡因为战争及行政重组而有所改变。于汉武帝元封三年（前108年）设立时疆域最广阔，亦是四郡里最重要的一个，大约是今北朝鲜咸镜南道、咸镜北
皮耶特拉桑塔彼得拉桑塔（意大利语：Pietrasanta），是意大利卢卡省的一个市镇。总面积41平方公里，人口24833人，人口密度605.7人/平方公里（2009年）。ISTAT代码为046024。
外字外字，在中文信息处理中是指给定字符集之外的汉字。源自日语的“表外汉字”（表外漢字，hyōgai kanji）。与拉丁语言不同，在东亚表意文字系统如中文、日文中，没有固定数量的字符集。