公式 (数理逻辑)

✍ dations ◷ 2025-07-02 05:26:37 #数理逻辑,规则

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

公式精确定义依赖于涉及到的特定的形式逻辑，但有如下一个非常典型的定义（特定于一阶逻辑）：公式是相对于特定语言而定义的；就是说，一组常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数（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页}

相关

小核糖核酸病毒Enterovirus Rhinovirus Hepatovirus Cardiovirus Apthovirus Parechovirus Erbovirus Kobuvirus Teschovirus微小核糖核酸病毒科（picornaviridae）是没有套膜、正股RNA、正20
磷酸酶磷酸酶是一种能够将对应底物去磷酸化的酶，即通过水解磷酸单酯将底物分子上的磷酸基团除去，并生成磷酸根离子和自由的羟基。磷酸酶的作用与激酶的作用正相反，激酶是磷酸化酶，可以
电子排布电子排布，或称电子排序、电子构型，指电子在原子、分子或其他物理结构中的每一层电子层上的排序及排列形态。正如其他基本粒子，电子遵从量子物理学，而不是一般的经典物理学；电子也
爱斯基摩人爱斯基摩人（Eskimos or Esquimaux）是北美洲北部的（包括美国阿拉斯加北部、加拿大和格陵兰）的因纽特人以及阿拉斯加西部和俄罗斯西伯利亚东北部的尤皮克人的总称，阿留申人与前两种
键矩键偶极矩是衡量化学键的极性大小的物理量，表示为键矩是向量，方向从正指向负。键矩单位是德拜(D,Debye)或库仑·米（C‧m） 1D= 3.336X10-30C‧m
鼓楼医院南京鼓楼医院，又名南京大学医学院附属鼓楼医院、南京市红十字中心医院，位于中国江苏省南京市中山路321号，是一所集医疗、教学、科研为一体的综合性三级甲等医院。现核定床位250
色彩带色彩带（又称色带），是电脑图学上色彩显示不准确的问题。在24位元色彩模式时，红绿蓝三条色彩频道各8位元道理上足够在全部可见光范围内显示图像，但在譬如显示色彩渐变（Color gradien
八世纪公元701年1月1日至800年12月31日的这一段期间被称为8世纪。武则天死后，李氏再度执掌大唐帝国，唐玄宗时期出现了开元盛世。安史之乱是唐由盛转衰的转折点，决定了8世纪后期军阀割
东中部列车东米德兰列车（英语：East Midlands Trains，EMT）是英国的一家提供铁路客运服务的公司，其所有者是捷达集团。公司的总部位于德比。东中部列车的主要服务范围是东米德兰兹，包括了林肯
布雷西亚省布雷西亚省（意大利语：Provincia di Brescia）是意大利伦巴第大区的一个省。面积1,228平方公里，2005年人口1,169,529人。首府布雷西亚。下分128市镇。