逻辑学真值表及命题演算共58页

第一章命题逻辑,第一讲命题,逻辑联结词及真值表————————————————————————————————作者：————————————————————————————————日期：第一章命题逻辑第一讲命题、联结词及真值表命题的定义：命题是一个可以判断真假的陈述句。

一个命题要么是真，要么是假，具有唯一确定的真值。

如果是真，称该命题为真命题比如：太阳从东方升起1+2=3如果是假，称该命题为假命题比如：月球上有居民1>2判断是否是命题的两步：一、是否是陈述句二、是否有唯一的真值复合命题命题通过“非”、“或”、“且”、“如果……那么”等连词组成一个复合命题。

没有连词的称为简单命题。

上面提出的四个命题都是简单命题。

比如:1>2并且3>2我是中国人或者我是美国人如果你努力工作，就能有成就联结词及真值表这里主要介绍五个逻辑运算符 : ￢∧∨→↔￢：设p为命题，复合命题￢p表示“非p”（或“p的否定”）,称为p的否定式。

￢称作否定联结词。

命题p与￢p的真值正好相反。

用真值表来表示他们的关系如下（真值表是一张反映命题真假的表格,T 表示真，F表示假）p￢pT FF T∧：设p,q是两个命题，复合命题p∧q表示“p并且q”(或“p与q”)，称为p与q的合取式，∧称为合取联结词。

只有当p和q都为真的时候，该复合命题p∧q为真。

真值表：p q p∧qT T TT F FF T FF F F∨：设p,q是两个命题，复合命题p∨q表示“p或q”，称为p与q的析取式，∨称为析取联结词。

只要p和q中有一个为真，该复合命题p∨q为真。

真值表：p q p∨qT T TT F TF T TF F F→：设p,q是两个命题，复合命题p→q表示“如果p，则p”，称为p与q的蕴涵式，→称为蕴涵联结词。

只有当p真q假时，该复合命题p→q为假。

p →q的逻辑关系是：p是q的充分条件，q是p的必要条件。

真值表：p q p→qT T TT F FF T TF F T↔：设p,q是两个命题，复合命题p↔q表示“p当且仅当q”，称为p与q的等值式，↔称为等价联结词。

真值表什么是真值表真值表是逻辑学中用来描述逻辑命题或者布尔代数的一个工具，它列举了每个可能输入的所有输出结果。

真值表在逻辑电路设计、计算机科学和数学领域有着广泛的应用。

真值表的表示方法真值表的表示方法是使用表格展示逻辑命题的所有可能的输入和对应的输出结果。

通常，真值表的第一行是列标题，用来代表输入变量的名称；第一列是行标题，用来代表输入的各种可能情况；剩下的部分则是输出结果。

例如，一个简单的真值表如下所示：输入1 输入2 输出0 0 00 1 01 0 11 1 1在这个示例中，输入1和输入2是逻辑命题的两个输入变量，输出则代表根据输入变量的不同组合所对应的输出结果。

真值表的应用逻辑电路设计在逻辑电路设计中，真值表用于描述逻辑门的功能和行为。

逻辑门通常有与门（AND）、或门（OR）、非门（NOT）等，它们根据输入变量的情况输出特定的结果。

通过使用真值表，我们可以清楚地了解逻辑门的输入和输出之间的关系，从而更好地设计和优化逻辑电路。

布尔代数布尔代数是一种逻辑代数，它利用真值表来进行逻辑推理和运算。

在布尔代数中，使用不同的逻辑运算符如与、或、非等来组合和操作逻辑命题。

真值表能够帮助我们理解逻辑运算符的运算规则，并通过推理和转化，解决复杂的逻辑问题。

计算机科学真值表在计算机科学中也有着重要的应用。

比如，在编写程序时，使用逻辑运算符进行条件判断和逻辑操作是非常常见的。

在这种情况下，真值表可以帮助程序员理解不同的逻辑条件下程序的行为，并更好地进行程序设计和调试。

如何生成真值表生成真值表的方法很简单。

首先，根据逻辑命题的输入变量数量确定表格的列数，然后列出所有可能的输入情况，每种情况占据一行。

接下来，根据逻辑命题的逻辑运算规则，计算出每种输入情况下的输出结果，填写到对应的行和列中。

例如，对于一个有两个输入变量的逻辑命题而言，就需要列出4种可能的输入情况（每个变量有两种取值），然后根据逻辑运算规则计算出对应的输出结果，填写到真值表中。

（9）┐P∧(P∨Q) ⇒ Q
（10）(P→Q)∧(Q→R) ⇒ P→R
（11）(P∨Q)∧(P→R)∧(Q→R) ⇒ R （12）(P→Q)∧(R→S) ⇒ (P∧R)→(Q∧S ) （13）(PQ) ∧(QR) ⇒ (P R)
33
永真蕴含的性质
• 设A、B、C是命题公式 （1）若A⇔B，则A⇒B，B⇒A； （2）若A⇒B， 则 PA⇒PB； PA⇒PB；（补充） PA⇒PB；（补充） (注意： AP⇒BP；AP⇒BP； PA⇒PB 或PA⇒PB 都不一定成立。）
证明: 因为P→Q ⇔ ┐P∨Q， 利用代换规则得 P∧(P→Q) ⇔ P∧(┐P∨Q) ⇔ (P∧ ┐P)∨(P∧Q) ⇔ 0∨(P∧Q) ⇔ P∧Q
17
命题的演算
• 利用代换规则从一个命题得到另一 个逻辑等价的命题称为命题的演算。
18
证明逻辑等价、永真（假） 式的方法（1）
• 方法一：真值表法
永真蕴含式例1（2）
• 证明P∧Q⇒P 方法三：证明P∧Q→P为永真式等 价于证明当P∧Q为真时，P必为真。 若P∧Q为真，则P为真且Q为真， 因此P必为真。
30
永真蕴含式例2
• 证明 (P→Q)∧(Q→R) ⇒ P→R 证明：等价于证明：当(P→Q)∧(Q→R)为T时，P→R必为T。 若(P→Q)∧(Q→R)为T时，有： (P→Q)为T且(Q→R)为T。 下面根据R的取值分两种情况讨论P→R 的取值： (1)当R取值为T时，显然， P→R为T。 (2)当R取值为F时，由(Q→R)为T可知：Q必为F，进而，由 (P→Q)为T可知：P必为F。 因此， 当R为F时，P→R必为T 综上所证，当(P→Q)∧(Q→R)为T时， P→R必为T 所以(P→Q)∧(Q→R) ⇒ (P→R)

真值表什么是真值表？真值表是数理逻辑中的一种重要工具，用于展示或描述一个命题逻辑公式的所有可能的输入真值情况下的输出结果。

它可以直观地展示逻辑表达式的真假变化，并帮助我们理解和分析复杂的逻辑关系。

在计算机科学、数字电路设计和人工智能等领域，真值表也被广泛应用。

真值表的构成一个简单的真值表由多个列组成，每一列代表一个命题变量，最后一列代表整个命题逻辑公式的输出结果。

真值表的行数由命题变量的个数决定，每一行代表一种命题变量的真假组合。

对于n个命题变量的真值表，共有2^n 行。

真值表最常用的列数为n+1，其中n为命题变量的个数。

在真值表中，每个命题变量都有两种可能的取值，分别为真（1）和假（0）。

输出结果也只有两种情况，即真（1）和假（0）。

真值表的示例以下是一个简单的真值表示例，假设我们有两个命题变量A和B：A B A AND B0 0 00 1 01 0 01 1 1这个示例真值表展示了两个命题变量A和B进行逻辑与（AND）运算的结果。

可以看出，只有当A和B都为真时，A AND B 才为真，否则为假。

这符合逻辑与运算的规则。

另一个常见的逻辑运算是逻辑或（OR）运算，下面是一个两个命题变量A和B 的逻辑或运算的真值表示例：A B A OR B0 0 00 1 11 0 11 1 1可以观察到，只有当A和B中至少一个为真时，A OR B 才为真。

这也符合逻辑或运算的规则。

当命题变量的个数增加时，真值表会变得更大和更复杂。

但是，无论多少个命题变量，真值表的基本结构和原理都是一样的。

真值表的应用真值表作为一种逻辑工具，在计算机科学、数字电路设计和人工智能等领域有着广泛的应用。

在计算机科学中，真值表可以用于验证和分析布尔代数表达式、逻辑电路电路设计以及计算机程序的逻辑正确性。

通过对真值表的分析和推导，我们可以确保我们的程序在各种输入情况下都能得到正确的输出。

在数字电路设计中，真值表可以帮助设计师分析和优化逻辑电路的功能和性能。