离散数学第1章命题演算基础_真假性.pptVIP

第一章 命题演算基础;完全解释、部分解释;例 考察公式 ?=（P?Q）? R ;成真解释与成假解释;例 考察公式 ?=（P?Q）? R ;永真公式与永假公式;可满足公式与非永真公式;第一章 命题演算基础;逻辑等价;八组重要的等价公式 ;八组重要的等价公式;八组重要的等价公式;例 判断下列公式的类型;例 判断下列公式的类型;例 判断下列公式的类型;成真解释和成假解释的求解方法 ;例(p7) 试判定公式;例(p7) (?P??Q)?((?Q?P)??R);例(p7) ?(P?Q)?((?Q?P)??R);例 试求下列公式的成真解释和成假解释;第一章 命题演算基础;联结词的完备集 ;定理1 联结词的集合{?，?，?}是完备的。;定理 联结词的集合{?， ∧}是完备的。;定理 联结词的集合{?， ∨}是完备的。;定理 联结词的集合{?， ?}是完备的。;与非: P?Q ;定理2(p8) 联结词的集合{↑}是完备的。 ;或非 P↓Q=?(P∨Q) ;例(p8) 试证明联结词集合{∧}不完备。;第一章 命题演算基础;对偶式的定义;例 求如下公式 ? 的对偶式：;内否式的定义;例 ? =(P?R)? (?P ?(Q ??R));例 ? = (?P?Q)∨((Q??R)∨?P);双重对偶式和内否式;合取与析取的对偶式和内否式;对偶式和内否式的否定;定理2(p9) ?A =A*?;定理2的证明（续）;定理3、定理4;第一章 命题演算基础