真值表张与等价公式.pptVIP

 第一章 命题逻辑 把符号命题翻译成自然语言命题： 这种翻译比较简单，只要求用词准确，力求保持原命题的意思。 例 设 A: 今天下雨。 B: 今天下雪。 C: 今天天晴。试把下列命题翻译成自然语言: 1) ┐(A∧B) 2) C? (┐A∧┐B) 3) A∨B→┐C 解 :1) 说今天下雨且下雪是不对的。 2) 今天天晴当且仅当今天既不下雨又不下雪。 3) 如果今天下雨或者下雪, 今天就不是晴天。 ①天没下雨，我也没有进城。 ②如果我有时间，我将进城。 ③如果天不下雨而且我又有时间，我将进城。 ④ ?（R∨Q） ⑤ Q?（R∧?P） ⑥（Q→R）∧（R→Q） 1.3.1 真值表 命题公式没有确定的真值，但可以假设公式中各个分量的不同取值来分析命题公式的真值情况。这样命题公式的真值情况就依赖于命题公式的结构和命题公式中各分量的真值指派。 定义1-8 设A是一个命题公式， 为出现在A中的所有命题变元。给 指定一组真值，称为对A的一组赋值（或真值指派）。 为了使命题公式的真值情况一目