1.2 离散数学.pptVIP

1.2 命题公式及分类 命题变项与合式公式 公式的赋值 真值表 命题的分类重言式矛盾式可满足式合式公式的层次 公式的赋值 公式的赋值 A q?p ?q?p 的真值表 公式的类型 1.3.ppt * * 1.1练习.ppt 命题变项与合式公式 命题常项：简单命题 命题变项：真值不确定的陈述句 定义 合式公式 命题公式, 公式 递归定义如下： 1 单个命题常项或变项p,q,r,…,pi ,qi ,ri ,…,0,1是合式公式 2 若A是合式公式，则 ?A也是合式公式 3 若A, B是合式公式，则A?B, A?B, A?B, A?B也是合式公式 4 只有有限次地应用1~3形成的符号串才是合式公式 说明: 元语言与对象语言, 外层括号可以省去 定义 1 若公式A是单个的命题变项, 则称A为0层公式. 2 称A是n+1n≥0层公式是指下面情况之一： a A?B, B是n层公式； b AB?C, 其中B,C分别为i层和j层公式，且nmaxi, j； c AB?C, 其中B,C的层次及n同b； d AB?C, 其中B,C的层次及n同b； e AB?C, 其中B,C的层次及n同b. 例如 公式 p 0层 ?p 1层 ?p?q 2层 ?p?q?r 3层 ?p?q ?r??r?s 4层 定义 给公式A中的命题变项 p1, p2, … , pn指定 一组真值称为对A