1.全称量词与全称命题
(1)“所有”、“每一个”、“任何”、“任意一条”、“一切”都是在指定范围内,表示整体或全部的含义,这样的词叫作全称量词.
(2)含有全称量词的命题,叫作全称命题.
2.存在量词与特称命题
(1)“有些”、“至少有一个”、“有一个”、“存在”都有表示个别或一部分的含义,这样的词叫作存在量词.
(2)含有存在量词的命题叫作特称命题.
3.全称命题与特称命题的否定
(1)要说明一个全称命题是错误的,只需找出一个反例就可以了,实际上是要说明这个全称命题的否定是正确的.全称命题的否定是特称命题.
(2)要说明一个特称命题“存在一些对象满足某一性质”是错误的,就要说明所有的对象都不满足这一性质.实际上是要说明这个特称命题的否定是正确的,特称命题的否定是全称命题.
4.逻辑联结词
(1)逻辑联结词通常是指“且”、“或”、“非”.
(2)命题p且q,p或q,綈p的真假判断.