首页 >
命题公式
✍ dations ◷ 2025-06-06 14:46:29 #命题公式
在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。公式精确定义依赖于涉及到的特定的形式逻辑，但有如下一个非常典型的定义（特定于一阶逻辑）：公式是相对于特定语言而定义的；就是说，一组常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数（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页}
相关
- 外科医师人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学外科学是现代医学的一个科目，主要研究
- 转染转染（英语：Transfection）是将外源遗传物质（DNA或RNA）植入细胞的一种过程，常用来描述非病毒入侵的转基因方式，相较于转化（英语：transformation，又译转型）用于植物、细菌及癌细胞的扩散，转
- 便秘便秘是指因粪便会太硬或是太干而排便不顺或难以排出的状况。一般而言，正常排便的频率约在每日三次到每周三次之间，便秘的并发症包含痔疮、肛裂、粪便阻塞。不同患者对便秘的描
- 序数原子序数（英语：Atomic Number）是一个原子核内质子的数量，因此也称质子数，也等于原子电中性时的核外电子数。拥有同一原子序的原子属于同一化学元素。原子序数的符号是Z。通常原子
- 赤霉素赤霉素（英语：gibberellin，简称为GA）也称徒长素、激勃素、吉贝素（因提取自赤霉菌（英语：Gibberella fujikuroi）而得名），是一种植物激素，调节生长和影响各种发育过程，包括促进茎的伸长、发
- 鼠李糖鼠李糖（英文：Rhamnose），即6-脱氧-L-甘露糖，又称甲基戊糖，是一种脱氧的己糖。可透过羟化甘露糖而取得。能溶于水和甲醇，微溶于乙醇。在自然界中大多是L型，广泛存在于植物的多糖、糖苷
- 人工电子耳人工耳蜗，亦称为“人工电子耳”，是一种植入式听觉辅助设备，其功能是使重度失聪的病人（聋人）产生一定的声音知觉。与助听器等其它类型的听觉辅助设备不同，人工耳蜗的工作原理不是放
- 婴儿奶瓶婴儿奶瓶（baby bottle）是上方有奶嘴的瓶子，可以直接饮用里面的液体物。一般是给婴幼儿使用。婴儿奶瓶常用来喂配方奶粉、母乳、口服电解质溶液（英语：pediatric electrolyte solut
- 黑素瘤黑色素瘤，又称恶性黑色素瘤，是一种从黑色素细胞发展而来的癌症，是皮肤癌中罕见的癌症。好发于皮肤但也可能出现在口腔、肠道或眼睛中。女性患者的黑色素瘤最常出现在腿，而男性患
- 530–579Template:Developmental tooth disease Template:Acquired tooth disease Template:Dentofacial anomalies and jaw disease Template:Oral pathology
