公式 (数理逻辑)

✍ dations ◷ 2025-10-19 01:27:30 #数理逻辑,规则

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

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

相关

毛发毛发是由皮肤中的毛囊长出的毛，属于丝状的蛋白质物质（英语：protein filament）。毛发是哺乳动物的特征之一。毛发也是一种重要的生物材料（英语：Biomaterial），主要成分是角蛋白。人体
元素在数学领域，集合的元素（英语：element）指构成该集合的任意对象（英语：Mathematical object），也可以称作成员（英语：member）。A = { 1 , 2
摩门教耶稣基督后期圣徒教会文化上相近的几个后期圣徒运动宗派，其最大的宗派为耶稣基督后期圣徒教会。耶稣基督后期圣徒教会也常被用来描述这个相信《摩尔门经》的信仰系统。该派别
纳吉布拉穆罕默德·纳吉布拉·阿赫马德扎伊（普什图语：ډاکټر نجیب ﷲ احمدزۍ‎，英语：Mohammed Najibullah Ahmadzai，1947年8月6日－1996年9月28日），阿富汗政治家、共产主义者，出生
尼龙尼龙（英语：Nylon），又译为奈纶、耐纶、尼纶、锦纶，是一种人造聚合物、纤维、塑料，发明于1935年2月28日，发明者为美国威尔明顿杜邦公司的华莱士·卡罗瑟斯。1938年尼龙正式上市，最早的
玉帝玉皇上帝，通称玉皇大天尊，简称玉皇、玉帝，俗称玉皇大帝、天公，宋代尊称之为昊天玄穹玉皇上帝。玉皇上帝源自中国自古以来信仰的昊天上帝。中国人自从原始社会开始就崇敬“天”，最
货币扩张货币扩张，也称作货币创造(Money creation)，是中央银行、商业银行和非银行(机构或个人)通过信贷关系共同作用，使得在银行体系内流通货币量扩大的金融行为。对货币扩张的控制是中
除虫菊酯除虫菊酯，存在于除虫菊（一种菊科植物）的叶子、茎杆，特别是花中，对昆虫具有很强的毒杀作用。把除虫菊的花收集起来晾干，与木屑、香料等混在一起做成烟熏剂，点燃后，除虫菊酯即可随烟雾
大田片大田片，是闽语的一个方言片区，通行于三明市大田县一带。大田县位于戴云山旁，在历史上这一带行政区划变动频繁。原先大田一带分属尤溪、永安、漳平、德化四县，其中永安说闽中语、
体温过低失温症（Hypothermia，源自希腊文“ὑποθερμία”），又称低温症、低体温症。描述当人体核心温度低于35.0 °C（95.0 °F）时的现象。失温症的症状取决于温度，轻度失温可能造成发