1.1数理逻辑.pptVIP

数理逻辑 图论部分 第1章 命题逻辑 第2章 一阶逻辑 第1章 命题逻辑 1.1命题、联结词 1.2命题公式、命题公式的分类 1.3等值演算 1.4 连接词全功能集 1.5对偶与范式 1.6推理理论 1.1 命题符号化与联结词 数理逻辑研究的中心问题是推理。 推理的前提和结论都是表达判断的陈述句。 表达判断的陈述句构成了推理的基本单位。 例1.1 判断下列句子是否为命题。 无向图与有向图(续) 定义 有向图D=V,E, 其中 (1) V同无向图的顶点集, 元素也称 为顶点 (2) E为V?V的多重子集，其元素 称为有向边，简称边. 用无向边代替D的所有有向边 所得到的无向图称作D的基图 右图是有向图，试写出它的V和E 无向图与有向图(续) 通常用G表示无向图, D表示有向图, 也常用G泛指无向图和有向图, 用ek表示无向边或有向边. V(G), E(G), V(D), E(D): G和D的顶点集, 边集. n 阶图: ,n个顶点的图 有限图: V, E都是有穷集合的图 零图: E=? 平凡图: ,1 阶零图 顶点和边的关联与相邻 定义 设ek=(vi, vj)是无向图G=V,E的一条边, 称vi, vj为ek的端点, ek与vi ( vj)是彼此关联的. 若vi ? vj, 则称ek与vi ( vj)的关联次数为1; 若vi = vj, 则称ek为环, 此时称ek与vi 的关联次数为2; 若vi不是ek端点, 则称ek与vi 的关联次数为0. 无边关联的顶点称作孤立点. 顶点的度数 设G=V,E为无向图, v?V, v的度数(度) d(v): v作为边的端点的次数之和 悬挂顶点: 度数为1的顶点 悬挂边: 与悬挂顶点关联的边 G的最大度?(G)=max{d(v)| v?V} G的最小度?(G)=min{d(v)| v?V} 例如 d(v5)=3, d(v2)=4, d(v1)=4, ?(G)=4, ?(G)=1, v4是悬挂顶点, e7是悬挂边, e1是环 顶点的度数(续) 设D=V,E为有向图, v?V, v的出度d+(v): v作为边的始点的次数之和 v的入度d?(v): v作为边的终点的次数之和 v的度数(度) d(v): v作为边的端点次数之和 d(v)= d+(v)+ d-(v) D的最大出度?+(D), 最小出度?+(D) 最大入度??(D), 最小入度??(D) 最大度?(D), 最小度?(D) 例如 d+(a)=4, d-(a)=1, d(a)=5, d+(b)=0, d-(b)=3, d(b)=3, ?+(D)=4, ?+(D)=0, ??(D)=3, ??(D)=1, ?(D)=5, ?(D)=3. 图论基本定理——握手定理 定理 任意无向图和有向图的所有顶点度数之和都等于边数的2倍, 并且有向图的所有顶点入度之和等于出度之和等于边数. 证 G中每条边（包括环）均有两个端点，所以在计算G中各顶点度数之和时，每条边均提供2度，m条边共提供2m度. 有向图的每条边提供一个入度和一个出度, 故所有顶点入度之和等于出度之和等于边数. 握手定理(续) 图的度数列 设无向图G的顶点集V={v1, v2, …, vn} G的度数序列: d(v1), d(v2), …, d(vn) 如右图度数序列:4,4,2,1,3 设有向图D的顶点集V={v1, v2, …, vn} D的度数序列: d(v1), d(v2), …, d(vn) D的出度序列: d+(v1), d+(v2), …, d+(vn) D的入度序列: d?(v1), d?(v2), …, d?(vn) 如右图度数序列:5,3,3,3 出度序列:4,0,2,1 入度序列:1,3,1,2 握手定理的应用 例1 (3,3,3,4), (2,3,4,6,8)能成为图的度数序列吗? 握手定理的应用(续) 例3 给定下列各序列,哪组可以构成无向图的度数序列 (2,2,2,2,2) (1,1,2,2,3) (1,1,2,2,2) (1,3,4,4,5) 多重图与简单图 定义 (1) 在无向图中,如果有2条或2条以上的边关联同一对顶点, 则称这些边为平行边, 平行边的条数称为重数. (2)在有向图中,如果有2条或2条以上的边具有相同的始点和终点, 则称这些边为有向平行边, 简称平