第二章 命题逻辑等值演算.pptVIP

定义2.6 称F:{0,1}n? {0,1} 为n元真值函数. {0,1}n={00…0, 00…1, …, 11…1}，包含 个长为n的0,1符号串. 共有 个n元真值函数. 联结词是否越多越好？ 联结词多了是什么现象？太少了是什么现象？ 联结词多了命题表达式可以很短，表达的方式很多，需要记忆的相关公式多！ 联结词少了？ 回答是否定的？ 在自然语言的推理系统中，联结词集合中的联结词可以多些，而在公理系统中，因为涉及逻辑推理，希望形式上越简便越好，这样可以使论证更为清晰明了，便于推理。?便于进行机械操作 （1）联结词的全功能集（完备集）： 任一真值函数（命题公式）都可以用仅含此联结词集中的联结词的命题公式来表达。? （2）冗余联结词：可由集合中的其他联结词来定义 独立联结词：不能由集合中其他联结词定义 （3）联结词的极小全功能集：集合中不含冗余的联结词 二.联结词的归约 定理2.6 试证{? ，?，┐}是全功能集(完备集)P32 例.试证{?，┐}是极小全功能集 证：P? Q?┐┐(P? Q)?┐(┐P?┐Q) 二元运算中，常用的五个联结词并不都是必要的。 定义2.7 设S是一个联结集合，如果任何n(n≥1)元真值函数都可以由仅含S中的联结词构成的公式表示，则称S是联结词完备集 定义 设p、q为两个命题，符合命题“p与q的否定式”（“p或q的否定式”）称作p,q的与非式（或非式），记作p↑q (p↓q). 符号↑（↓）称作与非连接词（或非连接词）. p↑q 为真当且仅p与q不同时为真 (p↓q为真当且仅当p与q同时为假）. p↑q ?┐(p?q) p ↓ q ?┐(p ? q) 例3.试证{↑}是极小全功能集 证：┐P ? ┐(P?P) ? P↑P P?Q ?┐┐(P?Q) ?┐(P↑Q) ?┐（(P↑Q) ? (P↑Q) ） ?(P↑Q ) ↑(P↑Q) P? Q ?┐(┐P?┐Q) ? ┐((P↑P) ? ( Q↑Q)) ?(P↑P) ↑(Q↑Q) 联结词少了命题表达式很长，不易理解！ 例4.试证{┐，→}是极小全功能集 证： P?Q ?┐(┐P?┐Q) ?┐(P→┐Q) P?Q ?┐(┐P)?Q ?┐P→Q 基本要求 深刻理解等值式的概念,牢记基本等值式的名称及它们的内容 熟练地应用基本等值式及置换规则进行等值演算 理解文字、简单析取式、简单合取式、析取范式、合取范式的概念 深刻理解极小项、极大项的概念、名称及下角标与成真、成假赋值的关系，并理解简单析取式与极小项的关系 熟练掌握求主范式的方法（等值演算、真值表等） 会用主范式求公式的成真赋值、成假赋值、判断公式的类型、判断两个公式是否等值 会将公式等值地化成指定联结词完备集中的公式 会用命题逻辑的概念及运算解决简单的应用问题 练习1:概念 1. 设A与B为含n个命题变项的公式，判断下列命题是否为真？ (1) A?B当且仅当A与B有相同的主析取范式 (2) 若A为重言式，则A的主合取范式为0 (3) 若A为矛盾式，则A的主析取范式为1 (4) 任何公式都能等值地化成{?, ?}中的公式 (5) 任何公式都能等值地化成{?, ?, ?}中的公式 说明: (2) 重言式的主合取范式不含任何极大项，为1. (3) 矛盾式的主合析范式不含任何极小项, 为0. (4) {?, ?}不是完备集，如矛盾式不能写成{?, ?}中的公式. (5) {?, ?}是完备集. 真 假 假 假 真 练习2: 判断公式类型 解 用等值演算法求主范式 (p?q)?(?q??p) ? ?(?p?q)?(q??p) ? (p??q)?(q??p) ? (p??q)?(?p?q)?(p?q)?(?p??q) ? m2 ? m1 ? m3 ? m0