命题逻辑等值演算.PPT

第二章 命题逻辑等值演算 一般地，n元真值函数共有多少个呢？ ??? 每个自变量有2个取值方式，n个自变量共 有2n 个不同取值方式。对n个自变量的每个取 值方式，函数值有2个取值方式，即为0或1， 故n元真值函数共有 个 ??? ? 例如，3元真值函数共有 =256个。 一般地，函数F:{0,1}n→{0,1}称为n元真值函 数，其中：{0,1}n为{0，1}的卡氏积。 二、真值函数与命题公式的关系 对于每个真值函数，都可以找到许多与之等值的命题公式。以2元真值函数为例，所有矛盾式都与 等值，所有的重言 式都与 等值。又如 ? p→q ? (┐p ∨q) ?┐(p∧┐q) ? (┐p∧┐q)∨(┐p∧q) ∨(p∧q) ?…。 更重要的是，每个真值函数与唯一的一 个主析取范式（主合取范式）等值。还以 2元真值函数为例， ?0（矛盾式）， ?（p∧q）?m1， ?（p∧┐q） ?m2， ?（p∧┐q）∨（p∧q）?m2∨m3, … 由定理2.5 任何命题公式都存在着与之等值的 主析取范式和主合取范式，并且是唯一的。可知，每个命题公式对应唯一的与之等值的真值函数。 三、联结词完备集 定义2.7 设S是一个联结词集