若干命题联结词集合的完备性和不完备性证明.pdfVIP

Vol 第22卷第1期 武汉工程职业技术学院学报 22NOl JournalofWuhan Institute March2010 2010年3月 Engineering 若干命题联结词集合的完备性和不完备性证明 宋 伟 (湖北大学哲学学院 湖北武汉：430062) 摘要命题联结词集合的完备性和不完备性是命题逻辑中一种有趣的现象，证明了联结词集合 基础上证明了两个单元集{、}}和{I}是完备的。 关键词联结词集合；完备性；不完备性 中图分类号：B81 文献标识码：A 文章编号：167卜3524(2010)01一0035一02 在命题演算中，对于任意一个命题形式，我们都 是完备的。 可以构造出它的真值表或找出其所对应的真值函 证明：只包含联结词“V”，“^”，。一”，“一”和一 数，反过来也一样，已知任意一个真值表或真值函 个命题变元的任意一个命题形式显然无法表示由联 数，我们也可以至少找出一个与其所对应的命题形 结词“～”对应的真值函数： 式。通过对析取范式和合取范式的研究，我们知道 厂(T)=F 任意一个真值函数都对应着至少一个只包含联结词 广(F)=T “～”(否定)，“^”(合取)和“V”(析取)的命题形式。 因为当其中的命题变元取值为真时，由联结词 这也即是说，由联结词“～”，“^”和“V”构成的集合 “V”，“^”，“一”和“一”的特征可知，该命题形式无 {^一，V，^}是一个联结词的完备集。而既然对于任法取值为假；而当其中的命题变元取值为假时，该命 意命题形式彰和劣，(∥V癣)逻辑等值于((～彭)^题形式也无法取值为真。所以，{V，A，一，一}不是 (～历))，所以任意一个只包含联结词“～”、。V”和一个联结词的完备集。 “^瑚命题形式都可以转化为一个逻辑等值的只包 接下来，我们证明联结词集合{～，一)不是完备 含联结词。～”和“^”的命题形式，也即是说，{～， 的。 ^)是一个联结词的完备集。同样，由于(四^傍)逻 证明：我们要证明只包含联结词“～”和“一”并 辑等值于((～∥)V(～毋))，所以{～，V)也是一个且含有两个命题变元的命题形式其真值要么全为 联结词的完备集。又由于(可A毋)逻辑等值于(～真，要么全为假，要么两真两假。 @～～毋))并且(彰V毋)逻辑等值于(～露。国)，所对这样的一个命题形式如彭中所出现的联结 以{～，一}也是一个联结词的完备集。不过，在常用 词“～”和“一”的个数进行归纳证明。 的五种联结词“～≯(否定)．“A”(合取)，“V”(析 基始步骤：以一1。既然真值表有四行，所以，矗 取)，‘o”(蕴涵)和‘o”(等值)中，也有些联结词的为(夕一q)。(户一口)的真值显然是两真两假。 集合并不是完备的，如{～，一)，{V，^}，{一，一) 归纳步骤：nl。我们要证明当∥中有九个联 等。下面，我们就来讨论若干联结词集合的完备性 结词时，上述结论成立。假设当∥中联结词的个数 和不完备性证明。 少于露个时，上述结论成立。根据命题形式的构成 方式，要考虑两种情况： 1 两个联结词集合的不完备性证明 情况1：∥具有(～毋)的形式。 情况2：露具有(易一留)的形式。 我们首先来证明联结词集合{V，^，一，一}不 第一种情况：根据归纳假设，国的真值要么全为 收稿日期：2010-01-20 作者