清华离散数学(第2版)：1.1-2.pptVIP

第1章 数学语言与证明方法 第1章 数学语言与证明方法 1.1 逻辑符号 1.2 集合及其运算 1.3 证明方法概述 1.1 逻辑符号 联结词 真值:真, 假 或 1, 0 命题:具有确定真值的陈述句, 通常用p,q,r等表示 真命题:真值为真的命题 假命题:真值为假的命题 例如, p:2+2=4, q:3是偶数 它们都是命题, p是真命题, q是假命题. 否定联结词? 否定式?p: 非p (p的否定) ?p 为真当且仅当p为假 联结词(续) 联结词(续) 蕴涵联结词? 蕴涵式p?q:如果p,则q p?q为假当且仅当 p 为真 q 为假 等价联结词? 等价式p?q:p当且仅当q p?q为真当且仅当p与q同时为真或同时为假 实例 设p:2是偶数, q:1+1=3, 则 实例(续) p?q的真值为 命题公式 命题变项:取值为0或1的变元, 也用p,q,r等表示. 命题公式:用联结词和圆括号把命题和命题变项按照一定 规则连接起来的符号串, 常用A,B,C等表示. 例如, A=(?p?q)?(r?p) 公式的赋值:对公式中每一个命题变项给定一个值(0或1). 公式的成真赋值:使公式为真的赋值. 公式的成假赋值:使公式为假的赋值. 例如, p=1,q=1,r=1是A的成真赋值, p=0,q=1,r=0是A的成假赋值.