离散数学之命题符号化.pptVIP

离散数学;主要内容;教材与教学参考书;数理逻辑部分;第1章 命题逻辑 ;1.1 命题符号化及联结词 ;命题与真值 ; ;命题的分类 ;简单命题符号化 ;联结词与复合命题 ; ; 例 (续) ;联结词与复合命题(续);解 令 p:2是素数, q:3是素数, r:4是素数, s:6是素数, 则 (1), (2), (3) 均为相容或. 分别符号化为: p∨r , p∨q, r∨s, 它们的真值分别为 1, 1, 0. (4), (5) 为排斥或. 令 t :小元元拿一个苹果，u:小元元拿一个梨， 则 (4) 符号化为 (t∧?u) ∨(?t∧u). 令v :王晓红生于1975年,w:王晓红生于1976年,则 (5) 既可符号化为 (v∧?w)∨(?v∧w), 又可符号化为 v∨w . ;联结词与复合命题(续);p?q 的逻辑关系：q 为 p 的必要条件 “如果 p，则 q ” 的不同表述法很多： 若 p，就 q 只要 p，就 q p 仅当 q 只有 q 才 p 除非 q, 才 p 或 除非 q, 否则非 p. 当 p 为假时，p?q 为真 常出现的错误：不分充分与必要条件;