首页 >
命题公式
✍ dations ◷ 2024-07-03 06:07:57 #命题公式
在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。公式精确定义依赖于涉及到的特定的形式逻辑，但有如下一个非常典型的定义（特定于一阶逻辑）：公式是相对于特定语言而定义的；就是说，一组常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数（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页}
相关
- 体温计医疗温度计，又称体温计、探热针，是拿来量测人体温度用的仪器。可用来量测口腔温度、腋下温度或是肛门内的直肠温度。传统的水银式医疗温度计工作方式与气象用最高温度计相同。
- 芽孢内生孢子（英语：endospore，又称芽孢或内孢子）是某些特殊种群的细菌，主要是芽孢杆菌属Bacillus与梭菌属Clostridium中细菌产生的特殊休眠体，这些细菌会在缺乏养分的环境时开始进入此
- 氯胺酮氯胺酮（英语：Ketamine），俗称小姐、K仔、K粉、K他命、克他命、恺他命，在台湾，经常被称为裤子（相对于衣，衣代表的是Ecstasy 的第一个字母）、下面（相对于穿在上面的衣服），一种非鸦片系麻醉
- 花柳性淋巴肉芽肿花柳性淋巴肉芽肿，是一种由砂眼披衣菌引起的性病，特别盛行于亚、热带地区。其男性患者远多于女性患者。淋巴肉芽肿症状经过1-3周的潜伏期后，受感染患处（通常是性器官）会出现一个
- 比得哥什比得哥什（波兰语：Bydgoszcz，德语：Bromberg，音译“布龙贝格”，拉丁语：Bydgostia）是波兰北部的一个城市，位于巴达河和维斯瓦河之上，人口369,151人(2004年)。自1999年起该市是库亚维-波美
- 哭泣哭，是人类生理情绪的一种表达或表露，亦是人类表达、宣泄情感的一种方式。一般定义为由于痛苦或激动而流泪出声。亦有研究指出除人以外的其他哺乳类动物也会哭, 如狗和猫。哭除
- 安瑟莫安瑟莫（Anselm，1033年－1109年4月21日），又译安瑟伦，天主教译为安色莫，意大利中世纪哲学家、神学家，1093年至1109年任坎特伯雷大主教。被尊称为最后一位教父与第一位经院哲学学者。运
- £英国英镑（货币符号：£）是英国法定货币和货币单位名称。英镑主要由英格兰银行发行，但亦有其他发行机构。最常用于表示英镑的符号是£。国际标准化组织为英镑取的ISO 4217货币代码
- 广泛性焦虑障碍广泛性焦虑障碍（英语：Generalized Anxiety Disorder），是经常为小事而感到持续焦虑的状态，这种焦虑与周围任何特定的情景都没有关系，而一般是由过度的担忧引起。大部分人有时会感到
- 文部省文部省（もんぶしょう、Ministry of Education, Science and Culture）是曾经存在的日本中央省厅之一，管辖教育、文化、学术等。2001年（平成13年）的中央省厅再编之时，和科学技术厅统
