真值

✍ dations ◷ 2025-01-23 02:03:40 #真值

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

相关

胰蛋白酶结构 / ECOD胰蛋白酶（英语：trypsin）是一种酶。胰蛋白酶在小肠工作，它会将蛋白质水解为肽，进而分解为氨基酸。这是蛋白质能被人体吸收的必要过程。这种酶的作用原理和其他丝氨酸蛋
过敏性紫癜类过敏性紫斑（Anaphylactoid purpura）又名Henoch-Schönlein紫斑（Henoch-Schönlein purpura），是一种儿童多发的、主要波及小血管的血管炎，常见临床表现包括紫斑、消化道表现、关
痳疯杆菌麻风杆菌也称为韩森氏杆菌，是一种可引起麻风病的分支杆菌，菌体呈短小棒状或稍弯曲，长约2-6µm，宽约0.2-0.6µm，抗酸染色呈红色（抗酸性），革兰氏染色呈阳性，好氧菌。于1873年由挪威医生
MMR疫苗争议麻腮风三联疫苗 (MMR Vaccine)，是给幼儿接种以预防麻疹、腮腺炎、风疹的疫苗。1998年以来，人们就接种这种疫苗会不会导致儿童自闭症等疾病产生了接种疫苗争议。2010年2月英国
菌物总界菌物总界（Holomycota，.mw-parser-output .smallcaps{font-variant:small-caps}.mw-parser-output .nocaps{text-transform:lowercase}Liu et al. 2009）是单鞭毛生物的一个演化
FR快中子反应堆（英语：Fast-neutron reactor）或简称快堆，是指其链式裂变反应是依靠快中子来维持的一类核反应堆。这类反应堆不需要中子慢化剂，但是必需使用易裂变材料富集度比热堆高
皮埃尔·阿伯拉尔彼得·阿伯拉尔，又译阿伯拉、亚伯拉德（法语：Pierre Abélard，1079年－1142年4月21日），法国著名神学家和经院哲学家，一般认为他开创概念论之先河。阿伯拉生于法国布列塔尼半岛南特以东
高鸟胺酸血症-高氨血症-高瓜胺酸血症候群高鸟胺酸血症-高氨血症-高瓜胺酸血症候群是一种遗传病，其会导致血中的鸟胺酸、血氨及瓜胺酸显著地升高。患者会不自觉拒食高蛋白的食物。此遗传病的发生率极低，全球只有约50个
环杓肌环杓肌（cricoarytenoid muscles）是连接环状软骨及杓状软骨之间的肌肉。而其中之环杓后肌、环杓侧肌(外环杓肌)，与杓间肌均属于喉内肌群。后环杓肌及侧环杓肌(外环杓肌)更具体地
北美印第安语系美洲原住民语言（有时也称为印第安语）并不是一种语言，甚至也不是属于一种语系，而是美洲所有原住民的各种语言的总称。其中玛雅语曾经有自己的文字系统。随着15世纪末开始西方殖民