首页 >
命题公式
✍ dations ◷ 2025-10-08 17:51:07 #命题公式
在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。公式精确定义依赖于涉及到的特定的形式逻辑，但有如下一个非常典型的定义（特定于一阶逻辑）：公式是相对于特定语言而定义的；就是说，一组常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数（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页}
相关
- 钾4s12，8，8，1蒸气压第一：418.8 kJ·mol−1 第二：3052 kJ·mol−1 第三：4420 kJ·mol−1 （主条目：钾的同位素钾（拉丁语：Kalium，化学符号：K）是原子序数为19的化学元素。最早于植物的灰烬
- 诺贝尔生理学和医学奖诺贝尔生理学或医学奖（瑞典语：Nobelpriset i fysiologi eller medicin），通常合称诺贝尔生理医学奖，由诺贝尔基金会管理，该奖项每年颁发一次，用于表彰在生理学或医学领域作出重要发
- 膀胱肠瘘管膀胱肠瘘管（Vesicointestinal fistula），又称肠膀胱瘘管（Intestinovesical fistula）是膀胱于肠道之间的瘘管。膀胱肠瘘管瘘管能够依据其发生的位置给予更精确的命名：造成膀胱肠瘘管
- DPGN弥漫增生性肾小球肾炎(Diffuse proliferative glomerulonephritis、DPGN)是一种肾小球肾炎(Glomerulonephritis)的类型、归为SLE之肾脏病变最严重的形式、也是最常见的，发生
- 抵抗力免疫（英语：immunity），指生物机体识别和排除抗原物质的一种保护性反应。其中包括特异性免疫（后天免疫系统）与非特异性免疫（先天免疫系统）。“免疫”一词，最早见于中国明代医书《免疫类
- 专科医院维基百科中的医疗相关内容仅供参考，详见医学声明。如需专业意见请咨询专业人士。专科医院是一种医院的分类，这种医院因为只提供特定疾病的治疗而有别于其他医院，是针对单一人群
- 表睾酮表睾酮（英语：Epitestosterone）或称为异睾酮，英语：isotestosterone， 17α-睾酮，17α-testosterone，是一种内源性的甾体物质，是雄性性激素睾酮的17α-羟基差向异构体，是一种较弱的雄激素
- 性心理发展性心理发展（Psychosexual Development）是西格蒙德·弗洛伊德在19世纪末、20世纪初提出的概念，是心理学理论的核心概念；包括5个阶段：口腔期、肛门期、性器期、潜伏期、生殖期。主
- 奋锐党奋锐党（Zealotry；希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","
- 克里奥尔语克里奥尔语（英语：Creole Language或Creole）是一种稳定的自然语言，由皮钦语进一步发展而成。其特征为混合多种不同语言词汇，有时也掺杂一些其他语言文法的一种语言，也称为混成语或
