第二章 命题逻辑等值演算
2.1
定义2.1 若等价式AB是重言式,则称A与B等值,记作AB,并称AB是等值式几点说明:定义中,A, B, 均为元语言符号 A或B中可能有哑元出现. 比如 (pq) ((pq)(rr)) r为左边公式哑元. 用真值表可检验两个公式是否等值请验证: p(qr) (pq) r p(qr) 不与 (pq) r 等值
例1 判断以下各组公式是否等值: (1) p(qr) 与 (pq) r
结论: p(qr) (pq) r
|
楼主: 打了个飞的
|
83
0
[课件与资料] 离散数学PPT2省公开课一等奖全国示范课微课金奖PPT课件 |
|
已卖:7370份资源 院士 98%
-
|
| ||
|
|
jg-xs1京ICP备16021002号-2 京B2-20170662号
京公网安备 11010802022788号
论坛法律顾问:王进律师
知识产权保护声明
免责及隐私声明


