1-4全称量词与存在量词.ppt

1．理解全称量词和存在量词的意义． 2．掌握全称命题和特称命题的定义，并能判定它们的真假． 1．短语“所有的”，“任意一个”在逻辑中通常叫做 ，用符号“ ”表示．含有全称量词的命题，叫做 ． 2．短语“存在一个”“至少有一个”在逻辑中通常叫做 ，用符号 表示，含有存在量词的命题，叫做 ． 3．全称命题“对M中任意一个x，有p(x)成立”可用符号简记为 ，读作“________________________”． 4．特称命题“存在M中的元素x0，使p(x0)成立”，可用符号简记为 ，读作“_____________________________”. 判定一个命题是全称命题还是特称命题，主要方法是看命题中是否含有全称量词或存在量词．要注意的是有些全称命题中并不含有全称量词，这时我们就要根据命题所涉及的意义去判断． 要说明一个全称命题是真命题，必须对限定集合中的每一个元素都要进行验证p(x)成立，要说明一个全称命题是假命题，只要找到一个反例即可，欲说明一个特称命题是真命题，即要找到一个元素即可，欲说明一个特称命题是假命题，需对集合M中的任意一个元素x检验p(x)都不成立． 一个含有量词的命题的否定是在否定结论p(x)的同时，改变量词的属性，即全称量词改为存在量词，存在量词改为全称量词，常用量词的否定如下表： 全称命题与特称命题的