公式 (数理逻辑)

✍ dations ◷ 2025-04-02 08:37: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页}

相关

解离离解又称解离，在化学中，指化合物分裂而形成离子或原子团的过程。例如，醋酸（CH3COOH）溶于水，离子键断裂即形成醋酸根离子（CH3COO−）。而其中的氢原子则变为一个氢离子（实际上是一个质
CiNiiCiNii（/ˈsaɪniː/ ）是一个面向日本学术图书资料的书目数据库（英语：Bibliographic database）服务，尤其是日本出版的日语和英语著作。该数据库成立于2005年4月，由日本国立信息学研
妊娠期妊娠期是指雌性哺乳动物从受精至分娩的这段时间。不同的动物的妊娠期是不同的。大多数物种妊娠期的长短取决于胎儿出生时的体型。小型动物的妊娠期通常比大型动物短。例
火山肺硅病超微粒硅酸盐尘埃沉着症（英语：Pneumonoultramicroscopicsilicovolcanoconiosis），简称火山矽肺病，是肺尘病的一种。矽肺病越来越多地成为许多行业的关键健康话题，因为其职业原因已
短篇小说短篇小说是一种文学作品，一般以万言左右为界限。虽然小说本质上篇幅区别并不十分重要，但典型的短篇小说仍发展出较长篇小说不同的特点。如：短篇小说长于描绘极具戏剧性的情节；往
小岩部神经小岩部神经（lesser petrosal nerve），又称小浅岩部神经，为舌咽神经的一条分支，属于一般内脏传出神经（GVE），神经纤维中带有来自鼓室神经丛（英语：tympanic plexus）的副交感神经纤维，并输入
八大盟校澳大利亚八校联盟（英语：Group of Eight，缩写Go8），又称澳大利亚八大名校，是澳大利亚历史悠久、享誉国际的八所顶尖研究型综合性大学，被普遍公认为是澳大利亚版的常春藤联盟，在南半球
津巴布韦储备银行津巴布韦储备银行（英语：Reserve Bank of Zimbabwe，简称RBZ）是津巴布韦的中央银行，创立于1956年3月，其总部设于津巴布韦首都哈拉雷。津巴布韦储备银行的前身为于1956年3月成立的罗
关税联盟欧洲（深灰） —比荷卢联盟（前称比荷卢经济联盟，也经常称呼为荷比卢）是由3个相邻的君主立宪西欧国家：荷兰、比利时和卢森堡组成的联盟，为低地国。原名Benelux是一混成词，由三国的名
猫传染性腹膜炎猫传染性腹膜炎（英语：Feline Infectious Peritonitis，FIP），简称传腹，是一种发生于猫的致命异常免疫反应，由猫携带的猫冠状病毒发生变异而引起。FIP目前仍为绝症，发病后死亡时间不定，