首页 >
真值
✍ dations ◷ 2025-04-03 16:37:51 #真值
在逻辑中,真值(truth value),又称逻辑值(logical value),是指示一个陈述在什么程度上是真的。在计算机编程上多称做布林值、布尔值。在经典逻辑中,唯一可能的真值是真和假。但在其他逻辑中其他真值也是可能的:模糊逻辑和其他形式的多值逻辑使用比简单的真和假更多的真值。在代数上说,集合{真, 假}形成了简单的布尔代数。可以把其他布尔代数用作多值逻辑中的真值集合,但直觉主义逻辑把布尔代数推广为海廷代数。在topos理论中,topos的主客对象分类器接管了真值集合的位置。
相关
- 蠕虫病蠕虫病,也称为蠕虫感染,是人和其他动物一部分身体被寄生蠕虫感染导致的一种巨噬细胞疾病。这些寄生虫种类很多,大致分为绦虫、吸虫和线虫。它们通常生活在宿主的胃肠道中,但也可
- 内毒素内毒素是存在于病原体如细菌内的天然化合物,具有潜在的毒性。一般来说,内毒素不同于外毒素,活的细菌是不会分泌可溶性的内毒素的。内毒素是细菌的结构成分,当细菌被溶解时而被细
- 嘧啶类似物嘧啶类似物(英语:Pyrimidine analogues)是与嘧啶结构上类似的核苷类似物(英语:nucleoside analogue)抗代谢物。嘧啶5-氟尿嘧啶氟尿苷吉西他滨嘧啶类抗代谢物通常通过干扰DNA的合成
- 罗切斯特大学罗彻斯特大学(英文:University of Rochester,缩写U of R 或 UR)是一所美国私立、无宗派的研究型大学,座落在美国纽约州的罗彻斯特市。该校授予大学学士、研究生硕士、博士以及职
- 北非与撒哈拉以南非洲相对,北非即非洲大陆北部地区,习惯上为苏丹热带草原以北广大区域。联合国定义的“北非”,是指撒哈拉沙漠以北地区,包括埃及、利比亚、阿尔及利亚、突尼斯、摩洛
- CD4+ T细胞辅助T细胞(T helper cells, Th),又称为助手型T细胞,是一种T细胞(白细胞的一种),它的表面有抗原受体,可以辨识抗原提呈细胞的MHC-II类分子呈献的抗原片段。一旦受到抗原刺激,Th细胞就
- 锂离子聚合物电池锂聚合物电池(英语:lithium polymer,缩写:Li-Po),又称聚合物锂电池、聚锂电池,是一种锂离子电池。锂聚电池通常是由数个相同的平行子电池芯(secondary cells)来增加放电电流,或由数个
- 斐济面积以下资讯是以2016年估计国家领袖国内生产总值(购买力平价) 以下资讯是以2016年估计国内生产总值(国际汇率) 以下资讯是以2016年估计人类发展指数 以下资讯是以2018年估计斐
- 胆石病胆结石(英语:gallstones)是在胆囊内由胆汁化合物组成的结石。胆石症(choleliths)可以指胆囊中的结石,也可以指此一疾病。大多数胆结石患者(约80%)不曾有过症状。胆结石的患者中,有1-4
- 葡萄胎葡萄胎也称水泡状胎、水泡状胎块(Hydatidiform Mole) 是一种异常的人类妊娠,系由着床但未成功发育的受精卵所造成。因其特征为胎盘绒毛间质水肿,形成透明或半透明的薄壁水泡,形似