真值

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

相关

  • 2s2 2p32, 5蒸气压第一:1402.3 kJ·mol−1 第二:2856 kJ·mol−1 第三:4578.1 kJ·mol−1 (主条目:氮的同位素氮是一个化学元素,化学符号为N,原子序为7,在丹尼尔·卢瑟福在1772
  • H60-H95ICD-10 第八章:耳和乳突疾病,为世界卫生组织创建的ICD-10中涉及耳与乳突的疾病分类。外耳疾病(H60-H62)中耳和乳突疾病(H65-H75)内耳疾病(H80-H83)耳的其他疾患(H90-H95)
  • 抗真菌药抗真菌药(英语:antifungal drugs),泛指一些能抑制或灭杀真菌的药物。抗真菌药中效果显著的主要由抗生素和合成药构成。常用的抗真菌药根据作用部位大致分为抗浅表真菌感染药和抗
  • 红州与蓝州红州与蓝州是指美国近年来选举得票数分布的倾向。红色为共和党的代表色,蓝色则是民主党的代表色。一般说来,在西部沿海、东北部新英格兰地区的选民投票倾向较支持民主党,故有蓝
  • 硬脊膜外麻醉硬脊膜外麻醉(epidura、epidural analgesia/epidural anaesthesial)是局部麻醉的一种。透过导管,将药物注射在硬脊膜外间隙。注射药物阻隔附近脊髓神经传送讯息,从而可以使到
  • 塞黑解体 · 内战塞尔维亚和黑山国家联盟,通称塞尔维亚和黑山,简称塞黑,为前南斯拉夫余下没有独立的塞尔维亚和黑山两个共和国于2003年至2006年组成的松散联邦制国家。塞黑两国于1
  • 孟加拉孟加拉人民共和国(孟加拉语:গণপ্রজাতন্ত্রী বাংলাদেশ,Gônôprôjatôntri Bangladesh),通称孟加拉国(বাংলাদেশ .mw-parser-output .IPA{font-fami
  • 抗坏血酸抗坏血酸(英语:ascorbic acid, C6H8O6)是一种天然存在的具有抗氧化性质的有机化合物。纯的抗坏血酸是白色固体,但有些杂质的样品会带点微黄色。抗坏血酸易溶于水,形成轻度酸性的
  • 它莫西芬诺瓦得士或太莫西芬(Tamoxifen,简称TMX),常见商品名Nolvadex,可用于治疗或预防乳癌,目前仍在研究本品对于其他癌症的效果。本品可用来治疗 马-亚二氏症(英语:Albright syndrome)。诺瓦
  • 骨质增生骨质增生(英语:hyperostosis)泛指人体骨骼的过度生长。它可能造成外生骨赘(英语:exostosis)。它出现在许多肌肉骨骼疾病(英语:musculoskeletal disorders)中。正常情况下,骨骼会在成骨