公式 (数理逻辑)

✍ dations ◷ 2025-12-05 11:46:19 #数理逻辑,规则

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

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

相关

计算计算（英语：Calculation）是一种将“单一或多个的输入值”转换为“单一或多个的结果”的一种思考过程。计算的定义有许多种使用方式，有相当精确的定义，例如使用各种算法进行的“算
重工业重工业为工业的一种下属分类相对于轻工业，通常指钢铁业、石化业这种需要大型生产设备和大量人力的工业，重工业特性是能提供大量工作机会，但是技术难度只属中等，唯一需要的是大量
本格拉本格拉（葡萄牙语Benguela）是安哥拉西部滨临大西洋的一个港口。本格拉位于安哥拉的首都罗安达之南，是本格拉省的省会。地理位置为南纬12度33分、东经13度25分。葡萄牙人于1617年
王方定王方定（1928年－），放射化学家，四川自贡人。中国原子能科学研究院研究员，中国科学院院士。王方定1953年毕业于四川化工学院化学工程系（后并入成都工学院）。曾参加铀矿石的分析、处理研
罗特布拉特约瑟夫·罗特布拉特（英语：Joseph Rotblat，1908年11月4日－2005年8月31日），波兰裔英国物理学家、社会活动家。1938年获华沙大学博士学位。第二次世界大战爆发后移居英国，1939年在利物
库特奈库特奈国家森林（英语：Kootenai National Forest）是一座美国国家森林，位于蒙大拿州的西北部、爱达荷州狭长地带的东北端，靠近美加边界。在这片2.2 × 106英亩（8,900平方千米）、由联
曲面在数学（拓扑学）中，一个曲面（surface）是一个二维流形。三维空间中的例子有三维实心物体的边界。流体的表面，例如雨滴或肥皂泡是一种理想化的曲面。关于雪花的表面，它有很多精细的结
康茂德康茂德，全名鲁基乌斯·奥雷里乌斯·柯莫杜斯·安东尼奴斯（Lucius Aurelius Commodus Antoninus，（161年8月31日－192年12月31日），其名字又译为柯摩达、科莫德斯、高摩达、柯姆德斯、
国家航空和太空博物馆国家航空和航天博物馆于1976年7月开馆，是全世界首屈一指的有关飞行的专题博物馆。座落在美国首都华盛顿特区的东南方，每月接待观众达10万之多，第一年的参观人数超过1000万人次，
一国社会主义一国社会主义论（俄语：социали́зм в отде́льно взя́той стране́）是一个在1924年由斯大林提出，在1925年由布哈林阐述的理论，认为社会主义可以首