真值表

✍ dations ◷ 2025-04-25 03:12:05 #真值表
真值表是使用于逻辑中(特别是在连结逻辑代数、布尔函数和命题逻辑上)的一类数学用表,用来计算逻辑表示式在每种论证(即每种逻辑变数取值的组合)上的值。尤其是,真值表可以用来判断一个命题表示式是否对所有允许的输入值皆为真,亦即是否为逻辑有效的。“用真值表制表的推理模式是由弗雷格、查尔斯·皮尔士和恩斯特·施罗德于1880年代所发明的。这种表格于1920年代之后广泛地发现在许多文献上(扬·武卡谢维奇、埃米尔·波斯特、维特根斯坦)”(蒯因, 39)。路易斯·卡罗早在1894年就公式化了真值表来解决特定问题,但是包含他这项工作的手稿直到1977年才被发现 。维特根斯坦的《逻辑哲学论》利用真值表把真值函数置于序列中。这个著作的广泛影响导致了真值表的传播。真值表被用来计算以“决策程序”建构的命题表示式的值。命题表示式可以是一个原子公式(命题常数、命题变数或命题函数,如Px或P(x)),或以逻辑算子(如逻辑与( ∧ {displaystyle land } )、逻辑或( ∨ {displaystyle lor } )、逻辑非( ¬ {displaystyle lnot } ))由原子公式建构出来的公式。举例来说, F x ∧ G x {displaystyle Fxland Gx} 即是个命题表示式。真值表中的列标题展示了 (i)命题函数与/或变量,和 (ii)建造自这些命题函数或变量和运算符的真值泛函表达式。行展示对 (i)和 (ii)的T或F指派的每个可能的求值。换句话说,每行都是对 (i)和 (ii)的不同解释。经典(就是说二值)逻辑的真值表限定于只有两个真值是可能的布尔逻辑系统,它们是“真”或“假”,通常在表中简单的表示为T和F。在布尔逻辑系统中,所有运算符都能以这种方式明确的定义。例如NOT(¬)关系定义如下:例如,采用两个命题变量, A {displaystyle A} 和 B {displaystyle B} 和逻辑运算符"AND"(∧),表示合取"A与B"或 A {displaystyle A} ∧ B {displaystyle B} 。在普通英语中,如果A和B都是真的,那么合取" A {displaystyle A} ∧ B {displaystyle B} "是真的;在所有的对 A {displaystyle A} ∧ B {displaystyle B} 的真值的可能指派,合取都是假的。这种联系定义如下:OR (∨)关系定义如下:可以构造复合的表达式,使用圆括号来指示优先级。合取的否定¬( A {displaystyle A} ∧ B {displaystyle B} )≡ A {displaystyle A} ∧ B {displaystyle B} ,和否定的析取¬ A {displaystyle A} ∨ ¬ B {displaystyle B} 描述如下:真值表可以用来证明逻辑等价。析取的否定¬( A {displaystyle A} ∨ B {displaystyle B} )≡ A {displaystyle A} ∨ B {displaystyle B} ,和否定的合取¬ A {displaystyle A} ∧ ¬ B {displaystyle B} 描述如下:比较上面两个真值表,因为对 A {displaystyle A} ∧ B {displaystyle B} 和¬ A {displaystyle A} ∨ ¬ B {displaystyle B} 二者,与 A {displaystyle A} ∨ B {displaystyle B} 和¬ A {displaystyle A} ∧ ¬ B {displaystyle B} 二者,枚举 A {displaystyle A} 和 B {displaystyle B} 的所有可能真值生成相同真值,它们分别是逻辑等价的,并可相互代换。这种等价是德·摩根定律中的。A ∧ B (还写为 A ⊕ B {displaystyle Aoplus B} 或 A ≠ B {displaystyle Aneq B} )描述如下:下面的真值表给出2个二值变量(P,Q是布尔变量)的16个可能的真值函数中最常用的7个的定义:注解:Johnston图,类似于文氏图和欧拉图,提供了可视化真值表的方式。LogicTutorial.com有展示真值表的交互的Johnston图。对于二元运算符,还使用一种紧缩形式的真值表,这里的行标题和列标题指定操作元(operand)而表单元指定结果。例如布尔逻辑是这种真值表表示法:这种表示法在运算符是交换性的时候特别有用,尽管你可以补充的指定行是第一个操作元而列是第二个操作元。这种紧缩的表示法在讨论逻辑的多值扩展时特别有用,因为组合数的爆炸性增加,它能有效的缩减所需要的行数。它还提供了在表中值的分布的快速可辩识的特征性"形状",可以帮助读者更加快速的把握规律。

相关

  • 急诊室急诊室(英语:Accident & Emergency、Emergency department、Emergency room等,缩写为A&E或ER),是医院的其中一个部门,但不是每间医院都有提供急诊服务。相对于有预约的门诊部,使用
  • 病毒包膜一个位于宿主细胞之外的独立、功能完全的病毒颗粒一些病毒拥有的包裹病毒体的脂肪泡一段DNA或RNA。如果把核苷酸比作字的话,那么基因就是由核苷酸写成的句子。基因会指导病毒
  • 琼脂琼脂,亦称寒天、琼脂胶、海菜胶、海燕窝、藻胶、石花菜、牛毛菜、大菜、菜燕等,是从海藻植物中提取的胶质。由日本美浓屋的太郎左卫门在17世纪60年代首次提取。可作为鱼胶的代
  • 碘苷碘苷(INN:idoxuridine)是一种主要用于角膜炎的抗疱疹病毒科抗病毒药物。碘苷与脱氧尿苷的结构非常类似,可以在病毒DNA复制的过程中被使用,碘苷当中的碘原子妨碍了碱基对的生成,从
  • 迟发性肌肉痛延迟性肌肉酸痛(英语:delayed onset muscle soreness,DOMS)是一种运动之后24–72小时出现的肌肉酸痛或不舒适。通常会持续两至三日。旧式理论普遍认为该痛症为乳酸积聚所引起,但
  • 路易十三路易十三(Louis XIII,1601年9月27日-1643年5月14日)是法国波旁王朝国王(1610年-1643年在位)。是亨利四世的长子,生于枫丹白露。幼年由其母玛丽·德·美第奇摄政。1615年与同是孩子的
  • 头孢维星头孢维星(久安)(Cefovecin,INN)是第三代的头孢类抗菌药,用于治疗猫狗的皮肤感染。头孢维星(久安)由硕腾公司(原辉瑞公司)上市,临床上使用钠盐。商品名为康卫宁(台湾为久安)(Conven
  • 集落刺激因子集落刺激因子(CSF)是一类分泌型的糖蛋白,其与造血干细胞表面上的受体蛋白结合,从而激活细胞内信号传导途径,其可导致细胞增殖并分化成特定类型的血细胞(通常是白细胞,对于红细胞形
  • 2013年东南亚霾害2013年东南亚霾害为印尼苏门答腊多处的农民常以火大面积的烧芭(火耕)方式清理农地。烟雾随季风飘散,并影响新加坡、马来西亚等邻近东南亚国家环境污染灾害。霾害造成新加坡樟宜
  • 陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧  小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧  书法 ‧ 飞白书笔画 ‧