公式 (数理逻辑)

✍ dations ◷ 2025-12-04 11:39:36 #数理逻辑,规则

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

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

相关

转运体载体蛋白（英语：carrier protein）简称“载体”，是参与离子、小分子或高分子跨越生物膜进行运输的一类多回旋折叠蛋白质。载体蛋白都是跨膜蛋白，它们能在协助扩散或主动运输过程中
监视器闭路电视（英语：Closed-Circuit Television，简称CCTV）是指在特定的区域进行视频传输，并只在固定回路设备里播放的电视系统。例如录像机、大楼内的监视器等。这类播放模式就被称作
键级键序为成键轨道中的电子数与反键轨道中的电子数之差的一半。若将其写成数学式则可表示成：b = n −
磷酸吡哆醛磷酸吡哆醛（英语：Pyridoxal phosphate；PLP）是维生素B6的活性形式。这种维生素主要包括三种天然有机化合物：吡哆醛、吡哆胺与吡哆醇。磷酸吡哆醛参与催化的几种反应有：转氨基作用、
特克的玛丽特克的玛丽（Mary of Teck，1867年5月26日－1953年3月24日），全名维多利亚·玛丽·奥古斯塔·路易丝·奥尔加·保琳·克劳丁·阿格尼丝（英语：Victoria Mary Augusta Louise Olga Paulin
飞现象飞现象（英语：Phi phenomenon）是一个由马科斯·韦特墨在1912年的一篇期刊文章《Experimental Studies on the Seeing of Motion》所提出的知觉错觉现象（错视）。其中描述一连串静态
卤化银卤化银：卤素（氟、氯、溴、碘等）与银元素形成的盐（氟化银、氯化银、溴化银、碘化银等）因为具有相似化学性质而被统称为卤化银。由于其高感光性，氯化银和溴化银大量用于摄影技术中。
四国四国（日语：四国／しこく Shikoku */?）是日本四大本土岛屿之一，位于九州东北、本州西南方，居于日本国土的西部偏中处。全岛面积18,297.78平方公里，是日本本土四岛中面积最小的，在世
贾克·大地贾克·大地（Jacques Tati，原名为Jacques Tatischeff）是一位法国电影导演与演员，代表作为《我的舅舅》、《于洛先生的假期》和《游戏时间》。一生仅拍了六部长片与三部短片。在学
浦克浦克（1916年－2004年3月17日），原名浦聿方，字非克，男，山东蓬莱人，中国电影演员。