首页 >
命题公式
✍ dations ◷ 2024-11-05 11:24:30 #命题公式
在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。公式精确定义依赖于涉及到的特定的形式逻辑，但有如下一个非常典型的定义（特定于一阶逻辑）：公式是相对于特定语言而定义的；就是说，一组常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数（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页}
相关
- 静脉注射免疫球蛋白静脉注射免疫球蛋白是一种用于静脉注射的血液制品，注射后其效果可以持续2周至3个月。它是一种从上千献血者所捐献的血浆中提取出来，并汇聚到一起的非特效丙种免疫球蛋白（G型抗
- 结缔组织疾病结缔组织疾病（connective tissue disease）是指会影响结缔组织的疾病。结缔组织是具有细胞外基质、可以支持、连结器官，并且保护器官的组织。这类的组织主要由两种结构蛋白质分
- 磺胺类磺胺类药物（Sulfonamides）是一类人工合成的抗菌药物，这类药物都是以对氨基苯磺酰胺（磺胺）为母体发展而来，因此得名。磺胺类药物抗菌谱较广，对大部分革兰氏阴性菌和革兰氏阳性菌均有
- 美西林美西林（INN：Mecillinam；USAN：Amdinocillin）是一种广谱半合成青霉素，对革兰氏阴性菌作用强，也可用来治疗伤寒和副伤寒。其口服利用率很差，匹美西林则是针对此缺陷开发出来的。这种药
- H6N1亚型H6N1（英语：Influenza A virus subtype H6N1，记作A(H6N1)或H6N1）是一种甲型流感病毒，是禽流感病毒或禽流感病毒的一个亚型。H6N1最初于2013年6月21日在台湾发现，首例患者是一名住在
- 进化树系统发生树（英语：phylogenetic tree）又称演化树或进化树（evolutionary tree），是表明被认为具有共同祖先的各物种间演化关系的树状图。是一种亲缘分支分类方法（cladogram）。在图中，每
- 淋病双球菌淋球菌（学名：Neisseria gonorrhoeae，奈瑟氏球菌）又称淋病双球菌（“淋”，拼音：lìn）、淋病奈瑟菌，是导致淋病的病原菌，和脑膜炎奈瑟菌同属于奈瑟菌属，是革兰氏阴性菌一个属种。球菌是需
- 前视人体解剖学方位是解剖学中用来描述人体器官的相对位置、以及运动方向的标准术语，以两手放在身体两侧且掌心面向前方的标准解剖姿势（英语：Standard anatomical position）为准。在
- 白努利定律伯努利原理（英语：Bernoulli's principle），又称伯努利定律或柏努利定律（英语：Bernoulli's Law），是流体力学中的一个定律，由瑞士流体物理学家丹尼尔·伯努利于1738年出版他的理论《Hydr
- 歧义性歧义（英语：ambiguity，又有译为“含混”）是指未定义或定义不清楚而没有明确涵义的单词、术语（term）、注释或观念。在华人社会，认为此言词源于唐朝苏味道：“处事不欲决断明白，若有错误，
