首页 >
命题公式
✍ dations ◷ 2025-04-03 13:05:31 #命题公式
在数理逻辑中,公式是表达命题的形式语法对象,除了这个命题可能依赖于这个公式的自由变量的值之外。公式精确定义依赖于涉及到的特定的形式逻辑,但有如下一个非常典型的定义(特定于一阶逻辑):公式是相对于特定语言而定义的;就是说,一组常量符号、函数符号和关系符号,这里的每个函数和关系符号都带有一个元数(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页}
相关
- 心脏病学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学心脏病学(英语:cardiology)亦称心脏学,为
- 流行病流行病指可以感染众多人口的疾病,但不一定为传染病。流行病可以只是在某地区发生,亦可以是全球性的大流行。欧洲语言中,辞源均来自希腊语,如英语的epidemic,法语的épidémie等。
- 咸丰帝清朝第9位皇帝孝钦显皇后叶赫那拉氏咸丰帝(1831年7月17日-1861年8月22日),爱新觉罗氏,名奕
- 废物管理污染物排放控制基本从三个方面开发:第一种方法是目前最常用的方法,但需要投入并没有经济效益,采取这种方法肯定会增加生产成本,降低产品竞争力,一般污染物排放单位不会自动处理,必
- 结构域蛋白质结构域(英语:protein domain)是蛋白质中的一类结构单元,是构成蛋白质(三级)结构的基本单元。有些球形蛋白的一条肽链,或以共价键相连的两条或多条肽链在空间结构上可以区分为
- 继业者继业者(希腊语:.mw-parser-output .Polytonic{font-family:"SBL BibLit","SBL Greek","EB Garamond","EB Garamond 12","Foulis Greek",Cardo,"Gentium Plus",Gentium,"Theano
- 中国科学院武汉国家生物安全实验室中国科学院武汉国家生物安全实验室(英语:National Biosafety Laboratory, Wuhan,缩写为NBL),简称武汉P4实验室或P4实验室,位于湖北省武汉市江夏区中国科学院武汉病毒研究所郑店园
- 扑热息痛7.21 g/kg (0 °C) 8.21 g/kg (5 °C) 9.44 g/kg (10 °C) 10.97 g/kg (15 °C) 12.78 g/kg (20 °C) ~14 mg/mL (20 °C)对乙酰氨基酚(英语:Acetaminophen),又称
- 太平洋群岛位于大洋洲的三大岛群:密克罗尼西亚(Micronesia,希腊语字根为“小岛”之义) 位于赤道以北,西太平洋,包括:马绍尔群岛、关岛、瑙鲁、帕劳等。美拉尼西亚(Melanesia,希腊语字根为“黑人
- 主谓短语在汉语句法中,主谓短语是短语的结构分类之一,它由两个成分组成。前一个成分的功能是提出主题,称为主语;后一个成分对主题加以陈述,称为谓语。主语和谓语构成了主谓关系(或主述关系