1.4全称量词与存在量词.ppt

文档介绍：. 全称量词与存在量词
想一想？？
短语“所有的”“任意一个” 在逻辑中通常叫做全称量词．用符号“　　”表示。
含有全称量词的命题，叫做全称命题。
是整数
是整数
常见的全称量词还有
“一切” “每一个” “任给” “所有的”等.
想一想？？
短语“存在一个”“至少一个” 在逻辑中通常叫做存在量词．用符号“　　”表示。
含有存在量词的命题，叫做特称命题。
常见的存在量词还有
“有些” “有一个” “对某个” “有的”等.
含有一个量词的命题的否定
想一想？
含有一个量词的全称命题的否定,有下面的结论
全称命题
它的否定
从形式看，全称命题的否定是特称命题。