v离散数学p1.1-3.pptVIP

* 小结： 以上5种最基本、最常用、最重要的联结词可以组成一个集合{┐，∧，∨，?，?}，成为一个联结词集。由后四种组成的命题是复合命题，亦可被多次使用，如（P ∧ Q） ? R； 复合命题的真值，取决于原子命题的真值，与原子命题之间是否有关系无关，与复合命题本身内容、含义无关； ∧、∨、 ? 具有对称性， ┐、 ? 没有； 联结词具有运算和操作性，从已知命题得到新命题。 *  1-3 命题公式与翻译 内 容： 合式公式 命题翻译 重点难点：命题翻译 * 合式公式wff 命题公式：将命题变元用联结词和圆括号按一定的逻辑关系联结起来的有意义的符号串。 例如： P∧Q P ? (Q∨┐P) （P ? Q，P ? Q） ∧R * 定义1-2-1 合式公式是由下列规则形成的字符串： （1）单个命题变元本身是一个合式公式。 （2）如果A是合式公式，那么┐A是合式公式。 （3）如果A和B是合式公式，那么 A∧B, A∨B, A?B, A?B 都是合式公式。 （4）当且仅当能够有限次地应用(1)(2) (3)所得到的包含命题变元，联结词和括号的符号串是合式公式。 基础 归纳 界限 * 说明：1 递归定义, 归纳定义