4.1一阶逻辑的符号化.pptVIP

在命题逻辑中，命题是最基本的单位，对简单命题不再进行分解，并且不考虑命题之间的内在联系和数量关系. 因而命题逻辑具有局限性，甚至无法判断一些简单而常见的推理.考虑下面的推理: 这个推理是我们公认的数学推理中的真命题，但是在命题逻辑中却无法判断它的正确性. 因为在命题逻辑中只能将推理中出现的三个简单命题依次符号化为p，q，r，将推理的形式结构符号化为 ?例4.4 将下列命题符号化，并讨论真值. ???(1) 所有的人都长着黑头发. ??(2) 有的人登上过月球. ? (3) 没有人登上过木星. ?(4) 在美国留学的学生未必都是亚洲人. 解: 由于本题没有提出个体域，因而应该采用全总  个体域. ?(1) 令F(x): x长着黑头发. (2) 令G(x): x 登上过月球. (4) 令 F(x): x 是在美国留学的学生， G(x): x 是亚洲人. 例4.5 将下列命题符号化: ? (1) 兔子比乌龟跑得快. ??(2) 有的兔子比所有的乌龟跑得快. (3) 并不是所有的兔子都比乌龟跑得快. (4) 不存在跑得同样快的两只兔子. 解: 本题没有指明个体域，因而采用全总个体域. 引入两个个体变项 x 与 y . 令 F(x): x 是兔子.