2015离散数学谓词量词、变元的约束、翻译资料.ppt

将下列命题符号化 （1）兔子比乌龟跑得快 （2）有的兔子比乌龟跑得快 （3）并不是所有的兔子都比乌龟跑得快 （4）不存在跑得同样快的两只兔子 将下列命题符号化 （1）火车都比汽车快 （2）有的火车比有的汽车快 （3）不存在比所有火车都快的汽车 （4）说凡是汽车就比火车慢是不对的 将下列命题符号化 （1）有的汽车比有的火车跑得快 （2）有的火车比所有的汽车跑得快 （3）说所有的火车比所有汽车都跑得快是不对的 （4）说有的飞机比有的汽车慢也是不对的 谓词和量词 Predicates and Quantifiers 所有的人都是要死的，苏格拉底是人，所以苏格拉底是要死的。 Three tasks: 1. 谓词、个体词、量词 2. 谓词公式 3. Translate in two ways each of these statements into logical expressions using predicates, quantifiers, and logical connectives. First, let the domain consist of the students in our class and second , let it consist of all people. a) Everyone in our cl