公式 (数理逻辑)

✍ dations ◷ 2024-09-20 08:02:14 #数理逻辑,规则

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

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

相关

环利尿剂环利尿剂（英语：Loop diuretics），又称袢利尿剂，是利尿剂的一类。此类药物作用在肾脏中亨利氏环（英语：Loop of Henle）的上行支（thick ascending limb, TAL）。
自置居所房地产自有率(home-ownership rate)，中国大陆称住房自有率。各地差异，由于世界各地的差异，每个地区对于房地产自有率都有不同的定义, 因素也不一样见。在美国，房地产自有率是美
戴尼提戴尼提（Dianetics）是一套精神、心灵和身体之间关系的理论，由美国哲学家暨科幻小说作家L·罗恩·贺伯特所研究发展出。是山达基理论基石。希腊语 dia 的含义是穿越，nous 的含义是
Na3s12，8，1蒸气压第一：495.8 kJ·mol−1 第二：4562 kJ·mol−1 第三：6910.3 kJ·mol−1 （主条目：钠的同位素钠是一种化学元素，元素符号为Na，原子序为11，相对原子量为23。它是柔软且
苯二胺苯二胺又称二氨基苯，分子式为C6H4(NH2)2，有三种异构体：两个氨基分别处于苯环的邻位、间位及对位。邻苯二胺间苯二胺对苯二胺
傅里叶变换离子回旋共振质谱法傅里叶变换离子回旋共振质谱法也称作傅里叶变换质谱分析，这是一种根据给定磁场中的离子回旋频率来测量离子质荷比（m/z）的质谱分析方法。彭宁离子阱（Penning Trap）中的离子被垂直
新孟买新孟买（马拉提语：नवी मुंबई）是属印度马哈拉施特拉邦的计划城市；位于该邦西部，孟买东部。面积343平方公里，2011年人口1,119,477，是世界上最大的计划都市。1972年起，由马哈拉
塞拉塞拉国家森林（英语：Sierra National Forest）是美国一座国家森林，位于加利福尼亚州境内、内华达山脉中部的西坡上。该森林最出名的是其山景，以及充沛的自然资源。森林的管理办公室
武警特警学院中国人民武装警察部队特种警察学院，简称武警特警学院，位于北京市昌平区，隶属武警总部，是中国人民武装警察部队的特种警察院校，实行“院队合一”体制，既是培养特种作战人才的院校，又
族 (化学)在化学中，元素周期表中的每一栏的化学元素称为族（英语：Group，Family）。长式周期表共分成18族，而f区元素的字段（在第3族和第4族之间）没有编号。同一族中的元素（尤其是主族元素）具有相似