公式 (数理逻辑)

✍ dations ◷ 2025-11-29 02:02:51 #数理逻辑,规则

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

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

相关

生漆漆，又名大漆、木漆、土漆、国漆、山漆等，是一种从漆树皮层采集的乳白色黏稠性汁液，是一种天然涂料，主要由漆酚（含量约40%～70%）、漆酶、树胶质和水分等组成。具有黏接、加固、调合颜
烈酒蒸馏酒（英语：liquor），是利用谷物、水果或蔬菜在经过酒精发酵后的产物为原料，以蒸馏方式所制造出的酒。蒸馏的过程会净化液体并除去稀释酒的成分（例如水），目的是增加其酒精浓度（通常以
木瓜牛奶木瓜牛乳是在台湾广受欢迎的一种饮料，堪称经典台湾味之一，不仅深受台湾人的喜爱，也是许多观光客来台湾必喝的圣品，由木瓜、牛乳等主原料，与水及砂糖甚至碎冰等副原料制成。不仅在
斯托克斯位移斯托克斯位移（Stokes位移）是相同电子跃迁在吸收光谱和发射光谱中最强波长间的差值（如在荧光光谱、拉曼光谱中）。名称来源于爱尔兰物理学家乔治·加布里埃尔·斯托克斯。理想情况
硒化物硒化物是含硒的阴离子的化合物。和硫化物类似，Se2−只有在强碱性溶液中才能存在，中性溶液中为HSe−，而酸性溶液中形成H2Se。有一些硒化物很容易和空气中的氧反应，金属硒化物比硫
北人党北人党（韩语：북인），是朝鲜王朝宣祖时的两班朋党东人党中分裂出的朋党。建立于1591年，在1624年后基本退出政治舞台，其名称来自领导人李山海祖籍汉北和李泼（朝鲜语：이발 (1544년)）在汉
法国原产地命名控制原产地命名控制（缩写：AOC，法文：Appellation d'origine contrôlée）是法国的一个产品地理标志，用于标明生产、加工在同一地理区域、使用受认可技术进行的产品。原产地命名控制标志
奥尔汗一世奥尔汗一世又称奥尔汗加齐（Orhan Gazi，1281年出生，1362年3月逝世）是奥斯曼帝国的第二位首领（苏丹这个称号直到1383年才开始使用），他的执政时期是从1323年或1324年到1362年3月。他占
美国例外论美国例外论（英语：American Exceptionalism），又译美国卓异主义、美国例外主义、美式例外主义，一种理论与意识形态，认为美利坚合众国是个独特的国家，与其他国家完全不同。为亚历西斯
中华人民共和国预防接种中华人民共和国预防接种，亦称中华人民共和国计划免疫或中华人民共和国国家免疫规划是中华人民共和国国务院卫生行政部门和其下属的各省、自治区、直辖市政府的卫生行政部门根