首页 >
命题公式
✍ dations ◷ 2025-08-29 00:35:56 #命题公式
在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。公式精确定义依赖于涉及到的特定的形式逻辑，但有如下一个非常典型的定义（特定于一阶逻辑）：公式是相对于特定语言而定义的；就是说，一组常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数（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页}
相关
- 立克次氏体目立克次体目是变形菌门中的一目，大部分已知的物种都只是以其他细胞的内共生体的形式存在。其中有一些是很有名的病原体，包括立克次体，它引起许多人类的疾病。另一方面，对立克次体
- 豇豆花叶病毒豇豆镶嵌病毒, SB isolate豇豆花叶病毒(Cowpea Mosaic Virus)又名豇豆黄花叶病毒，分布在尼日利亚、古巴和美国等国。苏里南、古巴和美国等地寄主范围很窄，在豆科植物以外就很
- 冠心病冠状动脉疾病（英语：coronary artery disease, CAD）又称为缺血性心脏病或简称冠心病（英语：ischemic heart disease, IHD）、冠状动脉粥状硬化心脏病、冠状动脉粥状硬化心血管疾病（英
- 氮醉氮醉是在进行潜水或深潜运动时常用的名词。一般而言，水压会随着潜水深度而增加，当潜水员处于高水压环境（约3至4大气压力以上），肺内氮气会因高压缘故，而对潜水员产生麻醉作用。于浅
- 洛匹那韦洛匹那韦（Lopinavir）是一种蛋白酶抑制剂类的抗逆转录病毒药物。 洛匹那韦与另一种蛋白酶抑制剂利托那韦（洛匹那韦/利托那韦）以固定剂量（英语：List of antiretroviral fixed-dose c
- 地特胰岛素注射液地特胰岛素注射液（英文名：insulin Detemir）为长效胰岛素类似物，无色澄明液体，用于治疗糖尿病。其成分主要为地特胰岛素（通过基因重组技术，利用酵母生产的）。1单位（U）相当于0.142mg不含
- 系膜增生性肾小球肾炎系膜增生性肾小球肾炎(Mesangial proliferative glomerulonephritis)是肾小球肾炎(glomerulonephritis)的一种形式，伴随着原发性系膜(mesangium)而产生。 有一些证据表明，白细
- 人力资本人力资本（英语：Human capital），指人的知识、经验、制度与习惯等。人力资本分成个人与社会两个方面，具备这些资本的劳工，拥有更高的生产能力，可以将这些资本转换成经济价值。人力资
- 外阴念珠菌性阴道炎（英语：Candidal vulvovaginitis），是一种常见的、由白色念珠菌引起的阴道炎症。念珠菌还可寄生在人的口腔、皮肤、阴道等，并可自身互相传染。念珠菌阴道炎的病原体
- 注音输入法注音输入法，是一种以注音符号来输入汉字的中文输入法。由于中华民国国民小学基础教育教授注音符号作为中文拼字方法，所以只要知晓该字的发音，就能以此输入法输入文字。相对应之
