真值

✍ dations ◷ 2024-11-05 16:29:52 #真值
在逻辑中,真值(truth value),又称逻辑值(logical value),是指示一个陈述在什么程度上是真的。在计算机编程上多称做布林值、布尔值。在经典逻辑中,唯一可能的真值是真和假。但在其他逻辑中其他真值也是可能的:模糊逻辑和其他形式的多值逻辑使用比简单的真和假更多的真值。在代数上说,集合{真, 假}形成了简单的布尔代数。可以把其他布尔代数用作多值逻辑中的真值集合,但直觉主义逻辑把布尔代数推广为海廷代数。在topos理论中,topos的主客对象分类器接管了真值集合的位置。

相关

  • 头孢洛扎头孢洛扎(Ceftolozane) ,是第五代头孢类抗生素,用来治疗对常规抗生素耐药的革兰氏阴性菌。 实验证明其对尿路感染、腹腔内感染、呼吸机相关性细菌性肺炎有效。头孢洛扎常与他唑
  • 殉教殉教,又称殉道,意指为了宗教或信仰而不畏迫害和杀戮,以致牺牲生命。最初无论是圣经还是世俗界,殉教者(martyr)一词的意思都是目击者。其新的意义取自耶稣受难。于是早期基督徒认为
  • 西罗莫司雷帕霉素(Rapamune),又名西罗莫司(Sirolimus),为大环内酯类化合物,现主要运用于肾移植的抗排异治疗。其通过抑制白细胞介素-2从而阻碍激活T细胞及B细胞来抑制免疫。其首次发现于复
  • 肾(Kidney)是脊椎动物体内的一种器官,属于泌尿系统的一部分,负责过滤血液中的杂质、维持体液和电解质的平衡,最后产生尿液经由后续管道排出体外;同时也具备内分泌的功能以调节血压
  • 科学建模科学建模是一种借由已被广泛接受的科学以帮助我们了解、定义、量化、视觉化与仿真的科学活动。依据不同需求,在真实世界中萃取相关要素以建立适合的科学模型,像是借由概念模型
  • 火灾暴风火灾暴风(英语:Firestorm),又称火风暴或火灾风暴,是大范围火灾本身所创造和维持的风力系统,是严重野火或山火中的一种自然现象。也会用来描述一般的巨型火灾 ,火灾风暴的确定特征必
  • 类淀粉蛋白淀粉样物质(英语:amyloid)是一种不可溶的纤维性蛋白质,“淀粉样物质”,港澳台称为“类淀粉蛋白”。在器官中不正常的堆积,会造成类淀粉沉积症(amyloidosis)。在许多神经性疾病,如阿兹
  • 生殖器疱疹生殖器疱疹,又称阴部疱疹或疱疹二型,可由单纯疱疹病毒第一型及第二型传染,但主要由“单纯疱疹二型病毒”引起,通常是与患者性交时传染得来的性病,潜伏期约五至六天。阴部疱疹主要
  • 呋喃西林呋喃西林(Nitrofural、Nitrofurazone或Furacilin,商品名Furacin)是一种用做抗菌药的杀菌性化合物,大多数商品为膏状。呋喃西林对革兰阳性、阴性菌均有抑制作用。纯净物为透明鹅
  • 全音素文字全音素文字(英语:alphabet)是表音文字的一种,它是以音素为单位的文字。和不标出元音的辅音音素文字不同,它的字母表中除了辅音字母,还有元音字母,用来表示语言中的元音。比较常见的