使用真值表定义联结词在线免费阅读_逻辑思维简易入门（原书第2版）科学生活

接下来，我们讨论真值表。它可以被用于机动地确定一个复合命题的真值。但在进入这一话题之前，我们首先使用它来定义上述真值函项联结词。

否定。为了使用真值表来定义否定，需要记住如下规则：

专栏11-4　否定式的真值规则

一个否定式是真的，当且仅当被否定的命题是假的；否则，它是假的。

真值表是通过如下方式来定义否定的：规定简单命题P的否定式～P何时为真，何时为假。

为了构造这样的真值表，我们首先在左上角写上不加否定联结词的P，右上角写上～P。然后在左边P下方的列中，写出P的所有可能的真值，即T（真）和F（假），因为：

对于任意命题，它要么为真，要么为假。

然后，在右边～P下方的列中，写出相应的真值。这些真值是依据P的真值和否定式的真值规则，通过计算求得的。对于左侧列中的每一行，通过运用专栏11-4中的规则，可以得出右下方框所显示的真值：

第一行：当P为真时，～P为假。

第二行：当P为假时，～P为真。

其他真值函项联结词。为了定义其他真值函项联结词，首先要注意的是它们都涉及两个命题，且各个命题的真值均有两种可能：T（真）或F（假）。这决定了写在真值表左侧各列中的真和假的数目。为了计算每一列中T和F的总数，我们使用公式2n。其中，2表示任意命题具有两种可能的真值，n表示出现在公式中的不同命题的数目。在否定式的定义中，只有一个命题，因此n等于1，而2n代表两个真值：一个是T，一个是F。但是，对于合取式、析取式、条件式和双条件，它们均包含两个命题，分别表示为P和Q。这时，n等于2，而2n代表每个命题被赋予四个真值。在左边第一列中，我们自上而下指派四个真值：T、T、F和F。在左边第二列中，自上而下指派T、F、T和F。将要确定真值的那个公式位于表的右上方。在该公式的下面，每一行所填的真值是依据该行左边的真值和相应的真值规则通过计算而得到的。现在，我们为剩下的每一种复合命题构造真值表。

合取。为了使用真值表来定义这个联结词，需要记住如下规则：

专栏11-5　合取式的真值规则

一个合取式是真的，当且仅当其合取支都是真的；否则，它是假的。

真值表的左侧有两列，每一个析取支被赋予四个真值，两个T、两个F。水平的四行是使用专栏11-5中的规则计算出来的真值组合。右侧方框中的结果表明一个合取式是真的，当且仅当它的两个合取支都为真。

析取。使用真值表定义这个联结词，需要记住如下规则：

专栏11-6　析取式的真值规则

一个析取式是真的，当且仅当至少有一个析取支是真的；否则，是假的。

析取式真值表的左侧共有两列，每个析取都有四次赋值，两次T、两次F。水平的四行是使用专栏11-6中的规则计算出来的真值组合。最终的结果填写在右边那一列，其意义与析取联结词的定义相同；它表明一个析取式是真的，当且仅当，至少有一个析取支是真的。

实质条件。为了使用真值表来定义这个联结词，请记住如下规则：

专栏11-7　实质条件式的真值规则

一个实质条件式是假的，当且仅当其前件为真，并且后件为假；否则，该实质条件式为真。

和前面一样，真值表的左侧有两列，每一列包含给前件（后件）赋予的四个真值，即两个T和两个F。表中水平的四行是通过应用专栏11-7中的规则计算出来的可能的真值组合。右侧方框中的结果就等价于实质条件的定义。它表明：除前件真、后件假之外，在其他所有情况下，实质条件式均为真。

更多同类型书籍>>>>
昆虫记
有关八戒的那些事儿
时间简史
一个人的电影
假如明天你当主管
影响力
昆虫记
时间的女儿

提升学历-成人高考报名入口提升学历-成人高考报名时间成人高考考试时间
业余时间，轻松拿提升学历，知名高校：国家开放大学（免试入学）

成人高考指南

工厂招工小时工

联系方式

1、成人高考介绍 手机号：13333709510(微信同号) 13068761630 张老师

1、成人高考介绍手机号：13333709510(微信同号) 13068761630 张老师