离散数学课件 第一章 命题逻辑-2nd【荐】.pdfVIP

离散数学 大连理工大学软件学院 陈志奎 教授 办公室：综合楼411 ，Tel 实验室：教学楼A318/A323 ，Tel 24 Mobile: Email: zkchen@ zkchen00@ 1 回顾 • 原子命题 • 复合命题 – 逻辑否定Negation – 逻辑合取Conjunction – 析取Disjunction – 单条件Conditional – 双条件Double conditional – 异或Exclusive or Xor – 联接词 ¬ ∧ ∨ → ↔ ▽ • 真值表 P Q ¬P P∧Q P∨Q P→Q P Q P ▽Q 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 0 1 1 1 0 1 1 1 1 0 2 1.3命题变元和合式公式 •原子命题 – 原子 •命题变元 – 用P表示一个抽象的原子，而不是一个具体的命题时，称它为命 题变元 – 命题变元可以表示任意命题，不能确定真值 •合式公式 – 由命题变元、逻辑联接词及圆括号构成合式公式 •合式公式递归定义 （1 ）单个命题变元是合式公式。 （2 ）如果A是合式公式，那么¬ A是合式公式。 （3 ）如果A和B均是合式公式，那么 (A → B ) 和 (A ↔ B ) 都是合式公式。 （4 ）当且仅当有限次的应用(1) 、(2) 、(3)条规则由逻辑联结词、 圆括号所组成的有意义的符号串是合式公式。 上面的定义成为递归定义法，(1)称为递归定义基础，（2 ）和（3 ） 称为递归定义的归纳，（4 ）称为递归定义的界限。 3 1.3命题变元和合式公式 •判断下列字符串哪些是合式公式，哪些不 是？ P ，¬P，P ∧Q (P → Q ) → (∧Q ) (P → Q ((P → Q ) ∧ (Q → R )) ↔ (S ↔ T ) (P → (P ∧ ¬Q )) 4 1.3命题变元和合式公式 几个概念： 命题 命题变元 命题公式——合式公式 命题公式vs