离散数学课件：Predicates and Quantifiers.pptxVIP

谓词和量词Predicates and Quantifiers苏格拉底三段论(1) 所有人都是要死的(2) 苏格拉底是人(3) 苏格拉底是要死的只用命题公式对上面三句话符号化，无法看出三句话之间的任何联系，当然也看不出为何由 句(1) 与 句(2) 可以推出 句 (3) 命题函数 (propositional function) / 谓词 (predicate) 带有 变元 的语句称为 命题函数/谓词? 是一种动物例子：?: 为真命题?? 表示“狮子是一种动物”? 表示“桌子是一种动物” 为假命题?: ? 表示 ，为真命题? 表示 ，为假命题?带有 变元的命题函数，称为 元命题函数 / 元谓词将 一些名词代入到 命题函数中的所有变元的位置，命题函数便成为了命题通过加 量词 (quantifier) 的方式是命题函数成为命题全称量词 (Universal quantifier)?设 是一个集合， 是一个命题函数? 表示命题“对所有的 ，都有 为真” 称为论域 (domain) 的真值：??若 对所有的 ， 都为真，则 为真若 存在 ， 为假，则 为假例子令 ? 表示 “对所有的 ，都有 ”?? 为真命题 表示 “对所有的 ，都有 ”?? 为假命题通过加量词的方式是命题函数成为命题存在量词 (EXISTENTIAL Quantifier)?设 为集合 表示命题“存在 ，使得 为真”. 称为论域(domain)? 的真值：??若 存在 ，使得 为真，则 为真若 对所有的 ， 都为假，则 为假例子?令 表示 “存在 ，使得 ”? 为真命题?令 ? 表示“存在 ，使得 ”?? 为假命题?假设 论域(domain) 是有限集设 ??用 联结词 表示 全称量词 ?可表示为 ??用 联结词 表示 存在量词 ??可表示为 带量词语句的 逻辑等价 (logically equivalent)?设 与 是带有量词和谓词的语句?若在任何情况下， 与 都会具有相同的真值，则称 与 逻辑等价，记为 带量词的 德摩根律?设论域为 ???即 与 在任何时候都会具有相同的真值这里的任何时候指的是：无论论域是什么；无论 代表什么意思 类似地，有?证明??设 为命题变元 ， 为命题变元 ?则 ?而 ??这可以说明在任何时候， 与 都具有相同的真值?从而