公式 (数理逻辑)

✍ dations ◷ 2025-04-04 11:09:45 #数理逻辑,规则

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

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

相关

奥古斯丁希波的奥古斯丁，罗马天主教会官方称希波的奥斯定（拉丁语：Augustinus Hipponensis；英语：Augustine of Hippo）或圣奥思定（英语：Saint Augustine 或 Saint Austin），俗称圣奥古斯丁。原称
维京时代北方日耳曼人从公元790年开始扩张，直到公元1066年丹麦人的后裔征服英格兰，一般称之为“维京时代”，是欧洲古典时代和中世纪之间的过渡时期。维京人是著名的航海家，他们在昔德兰
一词多义一词多义是指一个词语能表达多种意义。一词多义有时是因该词为多义词，有时则是使用者有意误导。“走”可解作“走路”，“离开”或“死亡”。“轻用”可解作“使用低剂量”或“
卡末林·昂内斯海克·卡末林·昂内斯（荷兰语：Heike Kamerlingh Onnes，1853年9月21日－1926年2月21日），荷兰物理学家，超导现象的发现者，低温物理学的奠基人。昂内斯1853年出生于荷兰的格罗宁根。他的
莫里斯·威尔金斯莫里斯·休·弗雷德里克·威尔金斯，CBE，FRS（英语：Maurice Hugh Frederick Wilkins，1916年12月15日－2004年10月5日），出生于新西兰，英国分子生物学家，专注于磷光、雷达、同位素分离与X光
佛教宇宙论大千世界（Tri-sahasra-mahā-sahasra-lokadhātu，直译即为三千大千世界），是佛教说明世界组织的情形。每一个小世界（lokadhātu，组成宇宙的要素；Cakravāḍa，围绕小世界的铁围），其形式
滥用药物物质滥用（英语：Substance abuse）广义上也被称为药物滥用（英语：drug abuse），药物滥用是指经常用于临床效力的处方药使用，但是滥用潜力和已知的反作用与不适当使用联系在一起，比如有镇
冯双白冯双白（1954年－），汉族，中华人民共和国政治人物，中国文联主席团委员、中国舞蹈家协会分党组书记、驻会副主席、中国共产党党员，第十一、十二届全国政协委员。2008年，当选第十一届全国
格里利格里利（英语：Greeley），是美国科罗拉多州韦尔德县下属的一座城市，亦是其县治。建市于1885年11月15日，面积大约为46.651平方英里（120.824平方公里）。根据2010年美国人口普查，该市有人口
莫斯科奥运第二十二届夏季奥林匹克运动会（英语：the Games of the XXII Olympiad，法语：les Jeux de la XXIIe Olympiade，俄语：Игры XXII Олимпиады），于1980年7月19日至8月3日在苏