首页 >
命题公式
✍ dations ◷ 2025-09-18 03:36:54 #命题公式
在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。公式精确定义依赖于涉及到的特定的形式逻辑，但有如下一个非常典型的定义（特定于一阶逻辑）：公式是相对于特定语言而定义的；就是说，一组常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数（arity）来指示它所接受的参数的数目。或或或或或或但是相比较按照这个公式计算
f
n
{displaystyle f_{n},}
，还是按照递归定义：
f
n
=
f
n
−
2
+
f
n
−
1
(
n
≥
3
)
{displaystyle f_{n}=f_{n-2}+f_{n-1}(ngeq 3),}
进行计算更方便。根据谓词逻辑的语义推导规则，语义应该具有一致性，就是对于一个命题逻辑语句集f，当且仅当至少存在这样一种解释i，f的一切元素在i之下都是真的，那么，f是语义一致的。在命题逻辑语义学内，一个赋值不能同时把真和假给予某个命题原子式。在命题逻辑语义学中，在同一解释下，一个集合不能既属于某个谓词的外延又不属于该谓词的外延。{现代西方哲学逻辑，复旦大学出版社235页}
相关
- 生命起源在物质科学与无生源论中，生命起源的研究对象主要是关于地球上的生命，如何经历约39到41亿年的进化，从无生物（或死物）转变为生物。2017年，科学家在加拿大魁北克发现42.8亿年前的微体
- 基因突变突变（英语：Mutation，即基因突变）在生物学上的含义，是指细胞中的遗传基因（通常指存在于细胞核中的去氧核糖核酸）发生的改变。它包括单个碱基改变所引起的点突变，或多个碱基的缺失、重
- 平原印第安手语平原印第安人手语（英语：Plains Indian Sign Language，PISL；法语：Langue des Signes Indienne des Plaines；西班牙语：Lenguaje de Signos Indio de las Llanuras），又称平原手语、平原
- 司法机构议长：南希·裴洛西（民主党） 多数党领袖（英语：Party leaders of the United States House of Representatives）：斯坦利·霍耶（民主党） 少数党领袖（英语：Party leaders of the United Sta
- 反磁性抗磁性（Diamagnetism，亦作反磁性）是一些类别的物质，当处在外加磁场中，会对磁场产生的微弱斥力的一种磁性现象。抗磁性的成因，是当物质处在外加磁场中，外加磁场使得物质电子轨道（更精
- 甘露庚酮糖甘露庚酮糖（英语：Mannoheptulose）是一种庚糖，即有七个碳原子的单糖。它是己糖激酶的抑制剂，通过竞争性地与己糖激酶结合来阻断葡萄糖的磷酸化。结果是葡萄糖的降解被抑制。D-甘露
- 内塞伯尔内塞伯尔（保加利亚语:Несебър、拉丁化：Nesebar）是保加利亚的一座历史古城，今天则是布尔加斯州的一个沿海度假城市。在色雷斯语中的名称是Menebria、现代希腊语中的名称是
- 广岛广岛市（日语：広島市／ひろしまし Hiroshima shi */?）是位于日本广岛县西部的都市，为广岛县首府，也是本州西部的最大都市，人口约119万。原本只是太田川入海口的一个三角洲，自16世纪
- 达罗毗荼语系达罗毗荼语系（Dravida，又称德拉维达语系）分布在印度南部的泰米尔纳德邦、卡纳塔克邦、安得拉邦、喀拉拉邦，印度中部和东部的一些地区，以及巴基斯坦的一个小地区，包括75种语言，其中
- 含糊含糊（英语：vagueness），或作模糊，是语义学、哲学用语。在语义学、哲学领域，一般对含糊的解读是：日常语言中，含糊是无法避免的，甚至经常是刻意营造的结果。然而，在专业的文本中，人们通常
