命题公式

✍ dations ◷ 2025-08-07 22:20:17 #命题公式
在数理逻辑中,公式是表达命题的形式语法对象,除了这个命题可能依赖于这个公式的自由变量的值之外。公式精确定义依赖于涉及到的特定的形式逻辑,但有如下一个非常典型的定义(特定于一阶逻辑):公式是相对于特定语言而定义的;就是说,一组常量符号、函数符号和关系符号,这里的每个函数和关系符号都带有一个元数(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页}

相关

  • 汉他病毒汉坦病毒(Hantavirus),又译汉坦病毒,是本雅病毒目的一种病毒,其引发的病症称为汉他病/肾综合征出血热/流行性出血热,为一种经由老鼠传染给人类的致命传染病,被列为生物性危害第四级
  • 青色青色又称绿蓝色,是指介于绿色和蓝色之间的颜色,波长大约为500-485奈米。青色可以是指黑色、绿色或蓝色,需根据前后文推断。在中国的五行学说中,青色是木的一种象征;青色在中国文
  • 人口统计学人口统计学用统计学方法,分析人口及其他社会问题,用以解决诸如预期寿命、出生率、死亡率、人口结构(例如年龄、姓别、婚姻状况...)等资料,以推估未来人口移动以及变化等问题 。
  • 流鼻血鼻衄,俗称流鼻血、淌大寒,称鼻出血,是指由于鼻孔内的毛细血管脆弱,血管受到破坏后,血液从鼻孔里流出,是一种医学上的疑难病症。大多数是从一个鼻孔里出,但偶尔也会两个鼻孔一起出。
  • 肛交肛门性交(英语:Anal intercourse),简称肛交,一般是指将勃起的阴茎与人类的肛门或直肠互相接合并彼此摩擦的过程,主要目的是为了令自身获得性快感。 其他形式的肛交包括以假阴茎、
  • 2016年联合国秘书长选举2016年联合国秘书长选举旨在选出新一任联合国秘书长,以接替于2016年12月31日卸任的秘书长潘基文。在此前的联合国秘书长选举过程中,候选人名单由安理会闭会讨论选出。同时,传统
  • 高级心脏生命支持高级生命支持,亦为高级心肺复苏、ACLS,是指一系列的临床介入(clinical intervention),作为以下情况的应急处置:心跳停止、休克,以及其他医学上危及生命的紧急情况;亦指施行此临床
  • 硝酸甘油硝酸甘油(Nitroglycerin)(C3H5N3O9),又称硝酸甘油酯、三硝酸甘油酯、三硝酸丙三酯,是甘油的三硝酸酯,是一种爆炸能力极强的炸药。1847年由都灵大学的化学家索布雷洛发明。常有人
  • 粘液黏液(英语:mucus)是一种从人体的黏膜内层分泌出来的湿滑液体。黏液一般都是比较浓稠的胶状体,含有具抗菌功效的酵素,例如:溶菌酶、抗体等。黏液由满布黏膜表面内的杯状细胞制造,由
  • 石经石经是中国古代朝廷刻在石碑上的儒家经典,作为经文的标准。传抄的经文与石经相比较,即可知正误。刻在石头上的佛经有时也称为石经。东汉熹平四年至光和六年(175~183)刻《熹平石经