专题1.2常用逻辑用语

【清单01】命题

1.命题：可供真假判断的陈述语句就是命题．

2.判断为真的语句称为真命题；判断为假的语句称为假命题.

【清单02】量词

（1）全称量词：短语“所有的”“任意一个”在逻辑中通常叫做全称量词．

（2）存在量词：短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词．

（3）常见量词：

量词名称

常见量词

符号表示

全称量词

所有、一切、任意、全部、每一个、任给等

?

存在量词

存在一个、至少有一个、有一个、某个、有些、某些等

?

【清单03】全称命题与特称命题

1．全称命题

（1）含有全称量词的命题，叫做全称命题．

（2）全称命题“对M中任意一个x，有