逻辑学课件第三章重言式和重言式判定方法.pptVIP

第三章 重言式和重言式判定的方法 第一节 重言式 一、真值形式与真值函项 二、重言式 第二节 重言式判定的方法 一、真值表法 二、简化真值表法 一、真值形式与真值函项 ⒈命题和命题联结词 复合命题是由命题和命题联结词构成的。最基本的命题联结词有五个： 否定（?）、析取（∨）、合取（∧）、蕴涵（→）、等值（←→）。 按照习惯的用法，命题联结词的结合力依下面顺序递减： ? 、∨、∧、→、←→ ⒉命题变项 在命题逻辑中，通常用p、q、r、s……等符号表示命题。由于这些符号可以表示任何具体的命题，因此它们被称为命题变项（或“命题变元”）。 运用命题联结词将命题变项结合起来，可以构成各种各样的符号式。 ⒊命题公式 有意义的符号式又称为命题公式或合式公式，简称为公式。 只有符合下面要求的符号式才是有意义的： ①命题变项是公式。 ②如果A和B是公式，那么?A，A∨B，A∧B，A→B，A←→ B 都是公式。 ③只有按照以上两点组成的符号式才是公式。 ⒋真值形式、真值函项 由于命题所取的值是真值，所以，命题公式又称为真值形式。 真值形式的一个重要特征就是函项性。真值形式中的命题变项的真值决定着该真值形式的真假，两者构成一种函数关系。这种函数关系被称为真值函项。 每一个真值形式都是一个真值函项。 ⒌真值函项的数目 真值函项的数目是由公式中变项的真假组合决定的。 当有两个变项时，由于每个变项都可以取真假两值，因此，它的真假组合便有4(22)种： 当公式有三个 当有 n 个变项 变项时，其真 时，其真假组 假组合就变成 合有2 n 种。 了8(23)种。 真值函项的数目 真值函项是对变项的各种真假组合作出判定，即对某一组合判定其为真或假。由于每一种组合都有可能判定为真或假，对于n个变项来说，其真值函项的数目为22n个。 真值函项的数目 对于命题变项p来说，其真值函项为4个： 真值函项 其中f1 (p)是指p无论取什么样的真值，其值总为真，可以用相应的公式p∨?p表示。f2 (p)是这样一个真值函项：当p真时它为真，当p假时它为假，所以可用p本身来表示。f3 (p)的真假情况恰好与p相反，是p的否定，可用?p表示。而f4 (p) 是指p无论取什么样的真值，其值总为假，可以用相应的公式 p∧?p表示。 常真或常假的真值函项 当有p 、q 两个变项时，真值函项数为222个，即16个真值函项（见P81下表）： f1表明，在这一函项的真值形式中无论其中p 和q取何值，公式的值都为真。因此，它是一个常真的真值函项，可以表示为p→q∨?q，（p→q）∧p→q等等。 f16表明，在这一函项的真值形式中无论其中p 和q取何值，公式的值都为假。因此，它是一个常假的真值函项，可以表示为?（p∨?p） ∧ q，q∧p∧?q等等。 时真时假的真值函项 f2－f15是时真时假的，它们都可以用相应的公式表示，例如： f2是p和q都取假值时才假的函项，相应的公式有：?p→q，p∨q等； f8是p 和q都取真值时才真的函项，相应的公式有：?（p→┐q），p∧q等。 二、重言式( tautology ) 由前面可以看出，真值函项可以分为三类：永真的，时真时假的和永假的。与此相对应，表示真值函项的命题形式也可以分为三类。 第一类称为永真公式，也称重言式。 第二类称为可满足公式。 第三类称为矛盾公式。 重言式( tautology ) 在上述三类公式中，永真公式也就是重言式，具有特别重要的意义，因为在命题逻辑中所有的规律都表示永真的真值函项（见p83）。命题逻辑主要的任务是考察重言式，研究重言式判定的方法，及构成能包