离散r数学pptch01.pptVIP

* * * * * 练习3解答 (2) ((p?q) ?(?q??p)) ?r 永真式 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 ((p?q) ?(?q??p)) ?r ?q??p p?q p q r * 练习3解答 (3) (p?q) ?(p?r) 非永真式的可满足式 p q r p?q p?r (p?q) ?(p?r) 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 主要内容 命题逻辑基本概念 命题逻辑等值演算 命题逻辑推理理论 一阶逻辑基本概念 一阶逻辑等值演算与推理 第一部分 数理逻辑 * 第一章 命题逻辑的基本概念 主要内容 命题与联结词 命题及其分类 联结词与复合命题 命题公