离散数学第二章谓词逻辑_2_3节.pptVIP

2-2 命题函数与量词;命题函数;将命题函数→命题的两种方法;命题函数举例;2、个体域 (论域);个体域 (论域); 3、量词：在命题中表示客体数量的词，称之为量词。;（1）所有的老虎都要吃人； （2）每一个大学生都会说英语； （3）所有的人都长着黑头发； （4）有一些人登上过月球； （5）有一些自然数是素数。 ;不便之处;不便之处(续);不便之处的根源;特性谓词;特性谓词的例子;特性谓词的例子（续）;（2）每一个大学生都会说英语； 无特性谓词： Q(x):x会说英语。(?x)Q(x) x∈{大学生} （3）有一些自然数是素数。 无特性谓词：T(x)：x是素数。(?x) T(x) x∈{自然数} ;谓词逻辑符号化的两条规则;带量词的公式在论域内的展开式;作业;2-3 谓词公式及命题符号化;谓词公式涉及的符号（共七种）：;谓词公式涉及的符号（共七种）：;为何需要客体函数符号？;客体函数与谓词的区别 客体函数中的客体变元用客体带入后的结果依然是客体。 f(a)=小王的父亲 谓词中的个体变元用确定的个体带入后就变成了命题。其真值为Ｔ或者为Ｆ。 M(x)：x是人 M(a)：小王是人 函词是个体域到个体域的映射 f : D→D 谓词是从个体域到{T,F}的映射 M : D →{T,F};例，用谓词表示命题：;合式公式;合式公式判断;谓词逻辑的翻译;例 谓词逻辑符号化;例 谓词逻辑符号化;例 谓词逻辑符号化;例 谓词逻辑符号化;例 谓词逻辑符号化;例 谓词逻辑符号化;思考;例 谓词逻辑符号化;例 将下列命题符号化（1）兔子比乌龟跑得快。（2）有的兔子比所有的乌龟跑得快。（3）并不是所有的兔子都比乌龟跑得快。（4）不存在跑得同样快的两只兔子。;谓词翻译难点 ;谓词翻译难点（续）;(?x)(S(x)→O(x));作业