首页 >
命题公式
✍ dations ◷ 2025-11-18 19:24:34 #命题公式
在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。公式精确定义依赖于涉及到的特定的形式逻辑，但有如下一个非常典型的定义（特定于一阶逻辑）：公式是相对于特定语言而定义的；就是说，一组常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数（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页}
相关
- 硫化氢硫化氢是无机化合物，化学式为H2S。正常是无色、易燃的酸性气体，氢又从水里逸出。硫化氢是急性剧毒物质，具有臭鸡蛋味，吸入少量高浓度硫化氢可于短时间内致命。低浓度的硫化氢对
- 死亡焦虑死亡焦虑是由死亡想法引起的焦虑。 其一将死亡焦虑定义为当一个人想到死亡的过程，或者停止'存在'时，死亡焦虑被定义为"恐惧、忧虑或焦虑的感觉"。其二为死亡恐惧症(死亡恐怖症
- 担子果在真菌当中，担子果（英语：basidiocarp、basidiome、basidioma，复数：basidiomata）是担子菌门的子实体，是一种多细胞构造，起源于孢子产生出来的子实层。担子果是伞菌纲的特征；柄锈菌纲与
- 查加斯病恰加斯病（英语：Chagas disease），又称为南美锥虫病（American trypanosomiasis），是一种热带疾病（英语：Tropical disease）寄生虫病；致病原是克氏锥虫（英语：Trypanosoma cruzi），通常借由俗称为
- 工作与生活的平衡工作与生活的平衡（Work Life balance）是一个广泛的概念，包含工作（生涯与抱负）与生活（家庭与休闲）的次序。在克拉克提出的“工作-非工作生活”的理论中，将工作与生活的平衡定义为工作
- 顺丁烯二酸酐顺丁烯二酸酐（MA），简称顺酐，或称马来酸酐，是顺丁烯二酸的酸酐，室温下为有酸味的无色或白色固体，分子式为C4H2O3。顺丁烯二酸酐以前用苯的催化氧化制备，但由于价格的缘故，现在大多用正
- 群体免疫群体免疫（英语：herd immunity或community immunity）是指人或动物群体中的很大比例因接种疫苗而获得免疫力，使得其他没有免疫力的个体因此受到保护而不被传染。群体免疫理论表明，
- Pt4f14 5d9 6s12, 8, 18, 32, 17, 1蒸气压第一：870 kJ·mol−1 第二：1791 kJ·mol主条目：铂的同位素铂（拼音：bó，注音：ㄅㄛˊ，粤拼：bok6，英语：Platinum），化学元素，俗称白金，化学符号为Pt，原子
- 多神论一多神论或多神教（来自希腊语：πολυθεϊσμός，英语：polytheism），相对于一神论或一神教而言，指崇拜或信仰许多（复数）神的信仰体系或者宗教教条。典型代表为印度教、古希腊宗教
- 电痉挛疗法电休克疗法（英语：Electroconvulsive therapy，简称ECT），又称电疗。是经由电击脑部的方式来诱发痉挛，以治疗精神疾患的方式。精神科用来治疗严重重性忧郁障碍、躁郁症和思觉失调症的
