§2.1　命題與聯(lián)結(jié)詞

2.1.1　命題的概念

數(shù)理邏輯研究的中心問題是推理，而推理就必然包含前提和結(jié)論，前提和結(jié)論都是表達(dá)判斷的陳述句，因而表達(dá)判斷的陳述句就成為推理的基本要素.在數(shù)理邏輯中，將能夠判斷真假的陳述句稱為命題.因此命題就成為推理的基本單位.

定義2-1　能夠判斷真假的陳述句稱為命題.命題的判斷結(jié)果稱為命題的“真值”.“真值”取值為“真”的命題稱為真命題，“真值”取值為“假”的命題稱為假命題.常用T（True）或1表示真，用F（False）或0表示假.

從上述的定義可知，判定一個(gè)句子是否為命題要分為兩步：一是判定是否為陳述句，二是判定能否判定真假，二者缺一不可.

例2-1　判斷下列句子是否為命題.

（1）北京是中國(guó)的首都.

（2）請(qǐng)勿吸煙！

（3）雪是黑的.

（4）豬八戒是豬嗎？

（5）x+y=5.

（6）我正在說謊.

（7）如果溫度為0℃以下，則水會(huì)結(jié)成冰.

（8）3能被2整除.

（9）火星上有生命.

（10）張三是個(gè)胖子.

解　在上述的10個(gè)句子中，（2）、（4）不是陳述句；（5）、（6）、（10）雖然是陳述句，但（5）沒有確定的真值，當(dāng)x=2，y=3時(shí)，x+y=5正確，當(dāng)x=4，y=3時(shí)，x+y=5不正確，其真值隨x，y取值的不同而改變，（6）是悖論（即由真能推出假，由假也能推出真），（10）中的“胖子”是一個(gè)模糊的概念，不能判斷真假，因而（2）、（4）、（5）、（6）、（10）均不是命題.（1）、（3）、（7）、（8）、（9）都是命題，其中（9）雖然現(xiàn)在無法判斷真假，但隨著科技的進(jìn)步是可以判定真假的.

根據(jù)命題的結(jié)構(gòu)形式，命題分為原子命題和復(fù)合命題.

定義2-2　不能被分解為更簡(jiǎn)單的陳述語句的命題稱為原子命題（也稱為簡(jiǎn)單命題）.

定義2-3　由兩個(gè)或兩個(gè)以上原子命題組合而成的命題稱為復(fù)合命題.

例如，例2-1中的命題“雪是黑的”為原子命題，而命題“如果溫度為0℃以下，則水會(huì)結(jié)成冰”是復(fù)合命題，是由“溫度為0℃以下”與“水會(huì)結(jié)成冰”兩個(gè)原子命題組成的.

定義2-4　表示原子命題的符號(hào)稱為命題標(biāo)識(shí)符.命題標(biāo)識(shí)符依據(jù)表示命題的情況，分為命題常元和命題變?cè)?一個(gè)有確定真值的命題的標(biāo)識(shí)符稱為命題常元（或命題常項(xiàng)）；沒有指定具體內(nèi)容的命題標(biāo)識(shí)符稱為命題變?cè)?/b>（或命題變項(xiàng)）.本書中用小寫字母a，b，c，…，p，q，r，…（可帶下標(biāo)）等表示命題.將表示命題的符號(hào)放在該命題的前面，稱為命題的符號(hào)化.例如：

p：2是素?cái)?shù).

q：雪是黑的.

此時(shí)，p是真命題，q是假命題.

注　命題變?cè)皇敲}，只有當(dāng)命題取一個(gè)確定的值時(shí)才是命題.例如，對(duì)于原子命題p：x=3來說，命題變?cè)恼嬷登闆r不確定，因而命題變?cè)皇敲}，只有給命題變?cè)猵一個(gè)具體的命題取代時(shí)，p有了確定的真值，p才成為命題.