1．简单的逻辑联结词
(1)命题中的或、且、非叫做逻辑联结词．
(2)命题p且q、p或q、非p的真假判断
|
p
|
q
|
p且q
|
p或q
|
非p
|
|
真
|
真
|
真
|
真
|
假
|
|
真
|
假
|
假
|
真
|
假
|
|
假
|
真
|
假
|
真
|
真
|
|
假
|
假
|
假
|
假
|
真
|
提醒：“命题的否定”与“否命题”的区别
(1)命题的否定只是否定命题的结论，而否命题既否定其条件，也否定其结论．
(2)命题的否定与原命题的真假总是相对立的，即一真一假，而否命题与原命题的真假无必然联系．
2．全称量词和存在量词
(1)全称量词：短语“所有的”“任意一个”等在逻辑中通常叫做全称量词，用符号“∀”表示．
(2)存在量词：短语“存在一个”“至少有一个”等在逻辑中通常叫做存在量词，用符号“∃”表示．
