公式 (数理逻辑)

✍ dations ◷ 2024-12-23 00:40:59 #数理逻辑,规则

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

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

相关

春运国务院中央军委测绘机构春运，即“春节期间的交通运输”的简称，是中国大陆在农历春节前后发生的一种大规模的高交通运输压力及堵塞的现象，一般发生在春节节前15天及节后25天左右
米歇尔·普拉蒂尼米歇尔·弗朗索瓦·普拉蒂尼（法语：Michel François Platini），1955年6月21日－），生于法国洛林，昵称“足球场上的拿破仑大帝”、已退役的法国足球运动员，世界足球史上最佳法国传奇巨星
武维华武维华（1956年9月－），生于山西临汾，原籍山西孝义，中国植物细胞生理及分子生物学家，中国农业大学教授，中国科学院院士。现任第十三届全国人大常委会副委员长、九三学社中央委员会主席
足球妈妈足球妈妈（英语：Soccer mom）一词指北美中产阶级家庭贤妻良母型妇女。她们一般住在郊区，花大量时间接送小孩去参加足球等课外活动。因为足球妈妈一般是中间选民，这个词自90年代中期
渔猎狩猎采集者是指生活在大部分或所有的食物都是通过觅食（采集野生植物和追捕野生动物）的社会或群体中的人。狩猎采集社会与农业社会形成对比，后者主要依靠驯化物种来生活。狩猎和
殷桃殷桃（1979年12月6日－），出生于重庆，现居北京，中国人民解放军空军政治部电视艺术中心演员，正营职文职干部。2017年，凭借《鸡毛飞上天》里骆玉珠一角获得第23届上海电视节白玉兰奖最佳
刘海澜刘海澜（Hiram Harrison Lowry，1843年5月29日－1924年）是美以美会在华传教士。1843年，刘海澜出生在美国俄亥俄州曾斯维尔。1867年，刘海澜受美以美会差遣，到达中国福州。1868年6月，美以
海城大地震海城大地震是1975年2月4日发生于中国辽宁省海城的大地震。1975年2月4日北京时间19点36分，在辽宁省海城、营口县一带（东经122°50'，北纬40°41'）发生了规模是7.3级（矩震级7.0级）的
麦布顿麦布顿（英语：Mabton）位于美国华盛顿州雅基马县。2000年美国人口普查时人口为1,891人。本市在二十世纪初成立，位于雅基马印第安保留地的东缘。
马基爱德华·约翰·“埃德”·马基（英语：Edward John "Ed" Markey、1946年7月11日－），是一位美国民主党政治人物，自2005年成为马萨诸塞州联邦参议院议员。他在美国参议院的2013年特别选