真值

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

相关

  • 喹诺酮喹诺酮(英语:quinolone)是一类人工合成的含4-喹诺酮基本结构,对细菌DNA螺旋酶具有选择性抑制的抗菌剂。1962年最早的喹诺酮类药物萘啶酸首先用于临床,由于其抗菌谱窄、口服吸收差
  • SUDOC大学文档系统(Système Universitaire de Documentation,简称SUDOC)是法国高等教育机构图书馆所使用的图书系统。该系统收录了法国大专院校、研究型图书馆及资源中心的联合目录
  • 双鞭毛生物无根虫门 Apusozoa 泛植物 Archaeplastida 有孔虫界 Rhizaria 囊泡藻界 Chromalveolata双鞭毛生物是其真核细胞具有两个鞭毛的一种生物,是真核生物的两大类群之一。双鞭毛生
  • 吸虫纲见内文吸虫(学名:Trematoda)是寄生虫的一种,为扁形动物门吸虫纲动物的总称,也称为瓜仁虫。一些吸虫也被称为二口虫(拉丁语:Distoma)。其名由来是因为它的口吸盘和腹吸盘都被认为是口
  • 经济学方法经济学方法(Economic Methodology),一般指研究或者应用经济学时采用的各类方法。主要包括数学方法、计量方法、历史方法、公理化与形式化方法等等。一般回归分析 - 时间序列分
  • 中子捕获治疗(NCT)中子俘获疗法(NCT)是用于治疗局部侵入性恶性肿瘤如原发性脑肿瘤和复发性头颈部癌的一种非侵入性治疗方法。NCT分两个步骤进行,首先是给病人注射一种含有对慢中子具有俘获倾向性
  • 工程制图工程制图可以指:
  • 污染源监测污染源监测是一种环境监测内容,主要用环境监测手段确定污染物的排放来源、排放浓度、污染物种类等,为控制污染源排放和环境影响评价提供依据,同时也是解决污染纠纷的主要依据。
  • 阿美西亚大陆阿美西亚大陆(Amasia)是一个未来可能出现的超大陆,这派学说和另一派终极盘古大陆不同的是,阿美西亚大陆是亚洲和北美洲合并形成。阿美西亚大陆的理论基础是在于太平洋板块隐没于
  • 雕塑古希腊雕刻是古希腊中闻名于世的其中一项艺术,发展时间大约于公元前10世纪至公元前1世纪。古希腊雕刻特点在于富于理想主义、质朴,注重共性、雅致,简而言之便是返璞归真,因此在