首页 >
命题公式
✍ dations ◷ 2025-12-09 00:03:42 #命题公式
在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。公式精确定义依赖于涉及到的特定的形式逻辑，但有如下一个非常典型的定义（特定于一阶逻辑）：公式是相对于特定语言而定义的；就是说，一组常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数（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页}
相关
- 肉芽肿肉芽肿（英语：granuloma）是在许多疾病炎症发生过程中形成的一种结构。它是由被称为巨噬细胞的免疫细胞聚集而成。当免疫系统识别外来物质但无法消灭时，会尝试将其围堵起来，此时肉
- 肺孢子菌纲P. carinii P. jirovecii P. murina P. oryctolagi P. wakefieldiae肺孢子菌纲只有一目、一科、一属，是外囊菌亚门中一类比较原始的真菌，直到20世纪初才被发现，是一种类酵母
- 甲羟戊酸甲羟戊酸, 甲瓦龙酸（Mevalonic acid, MVA）是生物化学中甲羟戊酸途径的前体化合物，是胆固醇和众多类萜生物合成的中间体之一。呈油状，易溶于水和极性有机溶剂。溶液中容易内酯化，
- 鼻塞鼻塞是指鼻道因鼻内血管肿胀、鼻中膈歪曲，或鼻甲、鼻息肉肥厚而造成空气流通不顺的情况。它是上呼吸道感染常见的症状。鼻塞成因有很多，而影响亦可大可小。对成年人或普通儿童
- 中子截面中子截面（英语：Neutron cross-section）常用于核物理学与粒子物理学中，表示入射中子与靶核交互作用的一种带有几率意义的常数。单位以barn表示，等于10−24cm2。中子截面与中子通量
- 淋巴管平滑肌增生淋巴管平滑肌增生（英文：Lymphangioleiomyomatosis，通称：LAM），或称淋巴管平滑肌瘤、肺淋巴管肌瘤，是一种罕见、进行性、系统性疾病，通常发展为囊肿导致的肺功能丧失。LAM主要影响女性
- 右旋安非他命右旋安非他命（英语：Dextroamphetamine）是强力中枢神经兴奋剂，也是苯丙胺（“安非他命”） 的对映异构体，是注意力不足过动症（ADHD）和发作性嗜睡病的处方药。此外，它也被用作提升运动员能
- renal肾（Kidney）是脊椎动物体内的一种器官，属于泌尿系统的一部分，负责过滤血液中的杂质、维持体液和电解质的平衡，最后产生尿液经由后续管道排出体外；同时也具备内分泌的功能以调节血压
- 现实现实（拉丁语：Realitas）在日常应用时意味着“客观存在的事物”或“合于客观情况的条件”。现实是所有实际事物或是存在事物的总和，和全然想像虚构的事物相反。现实一词也常用来表
- 高加索诸语言高加索语言泛指来源于高加索地区的语言，共同结合为高加索语系，其归属及分类均存争议。一般来说，高加索语言分为2或3种语系或语族，包括西北高加索语系、东北高加索语系和南高加索
