首页 >
命题公式
✍ dations ◷ 2025-05-15 14:53:12 #命题公式
在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。公式精确定义依赖于涉及到的特定的形式逻辑，但有如下一个非常典型的定义（特定于一阶逻辑）：公式是相对于特定语言而定义的；就是说，一组常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数（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页}
相关
- 螨传播螨（英语：mite， 音mán）是一种八足生物，是蜘蛛的近亲。螨的体形极小，必须借助显微镜观察。螨又可分为尘螨（dust mite）与农业螨，其中农业螨又有叶螨（spider mite）、拟叶螨（false spider mi
- 丹贝丹贝（tempeh）是一种发源于印尼爪哇的发酵食品，又名天培、天贝等。传统丹贝是接种根霉属（Rhizopus spp.）真菌至煮过的脱皮大豆，再以香蕉叶包覆接种过的大豆，经过一至两天发酵，所得到
- 迪乔治综合征迪乔治综合征（DiGeorge syndrome；22q11.2缺失综合征/22q11.2 deletion syndrome）是一种遗传疾病，会导致鼻及鼻梁基部宽大、人中短、上唇薄、耳廓异常、颚裂、心脏容易出现多重异
- 996工作制996工作制，是指一种“早上9点上班，晚上9点下班，每周工作6天”的用工制度，有时也被用来指代一系列资方要求劳方延长工时而不额外给薪的工作制度。最初多因网络及软件行业的员工交
- 性感染疾病性感染疾病（英语：Sexually transmitted infections, STI），又称性病（英语：Venereal Disease, VD）或花柳病，描述因性行为（指阴道性行为、肛交和口交）而传播的疾病。大多数的性感染疾病一
- 生物合成蛋白质生物合成是指在生物细胞内制造新的蛋白质，它是通过蛋白酶解或蛋白质导向（英语：Protein targeting）细胞蛋白的损耗被平衡。蛋白质的生物合成也称为翻译，它是基因表达的最后
- 李奥纳度·布伦尼列奥那多·布鲁尼（Leonardo Bruni，人称 Leonardo Aretino，1370年于阿雷佐－1444年3月9日于佛罗伦斯）意大利文艺复兴时期人文主义者，历史学家，曾任佛罗伦斯执政官、教皇秘书。列奥那
- 教授教授，是一种高等教育体系中的职称。在中国汉、唐的大学中即设有此官职；在现代汉语、日语、及韩语的语境中，多作为英语“Professor”一词的同义语使用，指在现代高等教育机构（例如
- 气囊气囊（Air-bag，或称Supplementary Restraint System，缩写：SRS）指安装在汽车上的充气软囊，使用在车辆发生撞击事故的瞬间弹出，藉以达到缓冲的作用，保护驾驶和乘客的安全。一般而言，遭遇
- 麻痹性贝毒麻痹性贝毒(Paralytic Shellfish Poisoning toxin, PSP)是一种神经性毒素，因人们误食了含有此类毒素的贝类而产生麻痹性中毒的现象，所以称之为麻痹性贝毒。麻痹性贝毒在许
