主要内容公式类型等值演算和置换规则析取范式和合取范式,主析取.pptVIP

离散数学第二章命题逻辑等值演算 主要内容 公式类型 等值演算与置换规则 ●析取范式与合取范式,主析取范式与主合取范式 离散数学 公式的类型 定义110 1)若A在它的任何赋值下均为真,则称A为重言式或永真式; (2)若A在它的任何赋值下均为假,则称A为矛盾式或永假式; (3)若A不是矛盾式,则称A是可满足式 由例1可知,(pVq)→,(q→少)∧q,(yVq)A 分别为非重言式的可满足式,重言式,矛盾式 注意:重言式是可满足式,但反之不真 真值表的用途 求出公式的全部成真赋值与成假赋值,判断公式的类型 离散数学 很显然,永真式是可满足式,非永真式未必是永假式,而当 A是永真式(永假式)时,A必为永假式(永真式 例.对任何公式A,AV-A是重言式,A∧1A是矛盾式 这两个事实揭示人们通常的思维所遵循的逻辑排中律和矛 盾律对任何原子命题p,P与1P都是可满足式可以用真值表 验证重言式 离散数学 例已知公式 (q→p)∧P是矛盾式,求公式(q→p)∧pA一 的成真赋值和成假赋值 解:无成真赋值,所有8个赋值都是成假赋值 例.已知p→(pVq)入(p入q)→D)是重言式, 试判断公或→(pVq)及(P∧q)→P的类型 解:p→(pVq)及(p人q)→p均为重言式 离散数学 21等值式 定义2.1若等价式AB是重言式,则称A与B等值,记作 A→B,并称A分B是等值式 几点说明 定义