01命题逻辑c.pdfVIP

高级语言程序设计 hhzheng@mail.xidian.edu.cn程序设计基础离散数学•2007•春季秋季 命题逻辑 C++ C++ 主要内容  范式  析取范式  合取范式  主范式  主析取范式  主合取范式  主析取范式的个数 SEI 11 高级语言程序设计 hhzheng@mail.xidian.edu.cn程序设计基础离散数学•2007•春季秋季 命题逻辑 C++ C++ 析取范式和合取范式 为叙述方便,把合取式称为积,析取式称为和。  定义1 命题公式中的一些命题变元和一些命题变元的否定 范式 之积,称为基本积; 一些命题变元和一些命题变元的否定 之和, 称为基本和。 例如：给定命题变元P和Q, 则P, P∧Q,P∧Q, P∧P, 主范式 Q∧P∧Q等都是基本积； Q, Q∨P,P∨Q,P∨P, P∨Q∨Q等都是基本和。 基本积(和)中的子公式称为此基本积(和)的因子。 主析取范式 的个数 SEI 22 高级语言程序设计 hhzheng@mail.xidian.edu.cn程序设计基础离散数学•2007•春季秋季 命题逻辑 C++ C++ 析取范式和合取范式  定义2 一个由基本积之和组成的公式, 如果与给定的命 题公式A等价, 则称它是A的析取范式, 记为 范式 A  A1∨A2∨ … ∨An , n≥1 这里A1 ,A2, … ,An是基本积。  定义3 一个由基本和之积组成的公式, 如果与给定的命 主范式 题公式A等价, 则称它是A的合取范式, 记为 A  A1∧A2∧ … ∧An,n≥1 这里A1,A2, … ,An是基本和。 主析取范式 的个数 SEI 33 高级语言程序设计 hhzheng@mail.xidian.edu.cn程序设计基础离散数学•2007•春季秋季 命题逻辑 C++ C++ 析取范式和合取范式  对任意命题公