1.4.3 含有一个量词命题否定
全称命题 “对M中任意一个x,有p(x)成立”
读作:对任意x属于M,有p(x)成立
集合
复习回顾
特称命题“存在M中一个x0,使p(x0)成立”
符号简记为:
读作:“存在一个x0属于M,使p(x0)成立”
含有全称量词命题,叫做全称命题
含有存在量词命题,叫做特称命题
符号简记为:
x0∈R ,p(x0)
1. 经过前几节课学习,想想命题否定是否命题区分?
否命题是用否定条件也否定结论方式组成新命题. 命题否定是逻辑联结词“非”作用于判断 ,只否定结论不否定条件.


雷达卡


京公网安备 11010802022788号







