联接词的扩充与规约.pdfVIP

离散数学 Discrete Mathematics 数理逻辑 1.4联接词扩充与规约 张晓 西北工业大学计算机学院 zhangxiao@nwpu.edu.cn 2011-1-10 前言 已经定义了非、合取、析取、蕴含、等值五 种运算，是否存在其他的运算? 运算符的扩展 运算符之间是否可以互相替代？ 运算符的规约 2011-1-10 离散数学 2 1.4.1 联结词的扩充 1. 一元运算 P f f f f 1 2 3 4 0 0 0 1 1 1 0 1 0 1 永假 恒等 否定 永真 2011-1-10 离散数学 3 二元运算 2011-1-10 离散数学 4 再定义以下 4 个连接词: f 与非: P ↑Q ⇔ ┓(P∧Q) 12 f 或非: P ↓Q ⇔ ┓(P∨Q) 2 ⇔ ⇔ f 排斥或(异或): P ⊕Q ┓(P Q) P∧┓Q ∨ ┓P∧ Q 9 ↔ f , f 蕴含否定: P→Q ⇔ ┓(P→Q) 3 4 2011-1-10 离散数学 5 1.4.2 联结词的归约 9 个联结词是否都必要? 显然不是的, 只用∧ , ∨ , ┓三个 联结词构造的式子, 就足以把一切命题公式等价地表示出来。 ⇔ 根据德 ·摩根定律: ┓(P∧Q) ┓P∨┓Q, ┓(P∨Q) ⇔ P∧┓Q, 所以, ∧和∨中去掉一个也足以把一切命题公式等价 地表示出来。 2011-1-10 离散数学 6 定义 1.4-1 一个联结词集合, 用其中联结词构成的式 子足以把一切命题公式等价地表达出来, 则这个联结词集合称为 全功能的。 由以上讨论, 易知包含∧ , ∨ , ┓的任一联结词集合都是 易知包含∧ , ∨ , ┓的任一联结词集合都是 全功能的。 {∧ , ┓} , {∨ , ┓}是全功能联结词集合。 全功能的。 值得注意的是, {↑} , {↓}也是全功能集合。 容易证明 {→, ┓ } , {→, ┓} , {→ , F} , {→, T}