计算机数学基础上－离散数学.pptVIP

计算机数学基础（上） －离散数学 ;计算机数学基础－离散数学;计算机数学基础－离散数学;计算机数学基础－离散数学;计算机数学基础－离散数学;计算机数学基础－离散数学;计算机数学基础－离散数学;计算机数学基础－离散数学;计算机数学基础－离散数学;计算机数学基础－离散数学;计算机数学基础－离散数学;第一篇 数理逻辑;数理逻辑－命题逻辑;数理逻辑－命题逻辑;1.1 命题与联结词;1.简单命题或原子命题：简单的陈述句, 不能再分解成更简单的句子. 常用P、Q、R或Pi、Qi、Ri(i=1,2,…)来表示。 ;2. 命题常项或常元：由于简单命题的真值确定，故称之为命题常(1或0)元。;4. 复合命题：由简单命用联结词联结而成的命题。;1.1 命题与联结词;1.1 命题与联结词;1.1 命题与联结词;1.1 命题与联结词;1.1 命题与联结词;1.1 命题与联结词;P;1.1 命题与联结词;命题符号化解题步骤;(3) 如果A，B是合式公式，则(A?B)，(A?B)，(A?B)，(A?B)是合式公式;例 用定义说明下列字符串是否为合式公式;1.1 命题与联结词;构造真值表的步骤;1.1 命题与联结词;命题演算的优先顺序：;1.1 命题与联结词;小结