真值

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

相关

  • 疫苗接种疫苗接种,是将疫苗制剂接种到人或动物体内的技术,使接受方获得抵抗某一特定或与疫苗相似病原的免疫力,借由免疫系统对外来物的辨认,进行抗体的筛选和制造,以产生对抗该病原或相似
  • 蒸发蒸发是液体表面汽化的过程,与另一汽化过程“沸腾”不同的是,蒸发只会发生于液体的表面,而且可在任何温度发生。在工业生产中,一般需要加热,可以在低于沸点时蒸发,也可以在沸点时进
  • 库欣综合征库兴氏综合征(法语:Le syndrome de Cushing; 英语:Cushing's syndrome)亦称库欣氏综合征、柯兴氏综合征、皮质醇增多症,其中包括库欣氏病(Cushing's disease,专指由原发性脑下腺瘤
  • Mc5f14 6d10 7s2 7p3(预测)2, 8, 18, 32, 32, 18, 5(预测)主条目:镆的同位素镆(英文:Moscovium)是一种人工合成的化学元素,化学符号为Mc,原子序为115。它最早在俄国杜布纳联合原子核研究
  • AMP一磷酸腺苷(英文:Adenosine monophosphate,简称AMP),又名5'-腺嘌呤核苷酸或腺苷酸,是一种在核糖核酸(RNA)中发现的核苷酸。它是一种磷酸及核苷腺苷的酯,并由磷酸盐官能团、戊糖核酸糖
  • 先验论先验(拉丁语:a priori;也译作 先天)在拉丁文中指“来自先前的东西”,或引申为“有经验之前”。近代西方传统中,认为先验指无需经验或先于经验获得的知识。它通常与后验知识相比较,
  • 真核细胞真核生物(学名:Eukaryota)是其细胞具有细胞核的单细胞生物和多细胞生物的总称,它包括所有动物、植物、真菌和其他具有由膜包裹着的复杂亚细胞结构的生物,而不包括细菌和古菌,因它
  • 苦杏仁素扁桃苷(Amygdalin,源自希腊语“扁桃”ἀμυγδάλη amygdálē ),又名苦杏仁苷,是许多植物中发现的一种有毒的氰苷,但最引人注目的是存在于杏、苦杏仁、苹果、桃及梅子等植物
  • 急性淋巴细胞白血病急性淋巴性白血病(英语:Acute lymphoblastic leukemia,ALL),是因为体内淋巴细胞不正常增生造成的血液疾病。淋巴是人体免疫系统的重要环节,由骨髓与淋巴结所制造。而急性淋巴性白
  • 食指食指,学名为示指(index finger),是第二只手指,位于拇指与中指之间,长度与环指相若。在一部分文化中,以食指指人是不礼貌的行为。食指一词早在春秋时代的《左传》已有记载,当公子宋“