1.簡(jiǎn)單的邏輯聯(lián)結(jié)詞
(1)命題中的或、且、非叫做邏輯聯(lián)結(jié)詞.
(2)命題p且q、p或q、非p的真假判斷
|
p
|
q
|
p且q
|
p或q
|
非p
|
|
真
|
真
|
真
|
真
|
假
|
|
真
|
假
|
假
|
真
|
假
|
|
假
|
真
|
假
|
真
|
真
|
|
假
|
假
|
假
|
假
|
真
|
提醒:“命題的否定”與“否命題”的區(qū)別
(1)命題的否定只是否定命題的結(jié)論,而否命題既否定其條件,也否定其結(jié)論.
(2)命題的否定與原命題的真假總是相對(duì)立的,即一真一假,而否命題與原命題的真假無(wú)必然聯(lián)系.
2.全稱(chēng)量詞和存在量詞
(1)全稱(chēng)量詞:短語(yǔ)“所有的”“任意一個(gè)”等在邏輯中通常叫做全稱(chēng)量詞,用符號(hào)“∀”表示.
(2)存在量詞:短語(yǔ)“存在一個(gè)”“至少有一個(gè)”等在邏輯中通常叫做存在量詞,用符號(hào)“∃”表示.