首页 >
真值表
✍ dations ◷ 2025-09-19 06:06:34 #真值表
真值表是使用于逻辑中(特别是在连结逻辑代数、布尔函数和命题逻辑上)的一类数学用表,用来计算逻辑表示式在每种论证(即每种逻辑变数取值的组合)上的值。尤其是,真值表可以用来判断一个命题表示式是否对所有允许的输入值皆为真,亦即是否为逻辑有效的。“用真值表制表的推理模式是由弗雷格、查尔斯·皮尔士和恩斯特·施罗德于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)而表单元指定结果。例如布尔逻辑是这种真值表表示法:这种表示法在运算符是交换性的时候特别有用,尽管你可以补充的指定行是第一个操作元而列是第二个操作元。这种紧缩的表示法在讨论逻辑的多值扩展时特别有用,因为组合数的爆炸性增加,它能有效的缩减所需要的行数。它还提供了在表中值的分布的快速可辩识的特征性"形状",可以帮助读者更加快速的把握规律。
相关
- 头孢洛林头孢洛林 (国际非专利药品名) (发音为/sɛfˈtærɵliːn/, 商品名Teflaro)是一种第五代头孢菌素类抗生素。它对于包括耐甲氧西林金黄色葡萄球菌(MRSA)在内的革兰氏阳性菌具
- 猪肉绦虫猪带绦虫(学名:Taenia solium;pork tapeworm),也称有钩绦虫或链状带绦虫,体长2-3米,宽7-8毫米,共有800-900个节片,后端成熟节片长约10毫米。
- 前列腺增生良性前列腺增生症(英语:Benign Prostatic Hyperplasia,缩写BPH),俗称前列腺肥大症或前列腺肥大,以前列腺中叶增生为实质改变而引起的一组综合征,良性前列腺增生症是属于男性常见的
- 肱骨肱骨(humerus)是肩到肘的长骨,是上臂的一部分。它将肩胛骨和前臂的桡骨和尺骨连接起来。肱骨由三部分组成。肱骨上端(英语:Upper extremity of humerus)包括一个球型部分、一个较
- 墨西哥湾墨西哥湾是北美洲南部大西洋的一海湾,以佛罗里达半岛-古巴-犹加敦半岛一线与外海分割。北为美国,南、西为墨西哥,东南为古巴,东经佛罗里达海峡与大西洋相连,经尤卡坦海峡与加勒比
- 婴儿食品婴儿食品指专门制造给0岁到3岁间儿童食用的食品,较软同时有特殊营养符合婴儿需求。世界卫生组织提出一项全球性的公共卫生建议,建议婴儿前六个月应该完全母乳喂养,以达到最佳的
- 莱切莱切(Lecce)是位于意大利南部普利亚大区的一座古城,也是莱切省的首府。它是意大利半岛东南端撒伦丁半岛的主要城市,拥有2,000余年的历史。莱切因拥有很多重要的巴洛克古迹而被称
- 洛林洛林(法语:Lorraine;德语:Lothringen)是法国东北部的一个旧大区,北邻比利时、卢森堡及德国。面积23,547km²,人口2,310,376。下辖默尔特-摩泽尔省(54)、默兹省(55)、摩泽尔省(57)、孚日省
- 铊中毒铊中毒(Thallium poisoning)是机体摄入含铊化合物后产生的中毒反应。铊对哺乳动物的毒性高于铅、汞等金属元素,与砷相当,其对成人的最小致死剂量为12mg/kg体重,对儿童为8.8~15mg/k
- 达罗毗荼语系达罗毗荼语系(Dravida,又称德拉维达语系)分布在印度南部的泰米尔纳德邦、卡纳塔克邦、安得拉邦、喀拉拉邦,印度中部和东部的一些地区,以及巴基斯坦的一个小地区,包括75种语言,其中