邏輯主要研究推理過程,而推理過程必須依靠命題來表述。
在命題邏輯中,“命題”被看作最小單位。
命題邏輯是數理邏輯中最基本、最簡單的部分。
1.1.1 命題
什麼是命題?
推理是數理邏輯研究的中心問題,推理的前提和結論都是表達判斷的的陳述句,因而表達判斷的陳述句構成了推理的基本單位,稱具有真假意義的陳述句爲命題。
命題總是具有一個確定的真或假的“值”。
判斷給定的句子是否爲命題的基本步驟:
1.首先應是稱述句
2.其次要有唯一的真值
1.1.2 命題的分類
命題可以分爲兩種類型:
1.一種命題是不能再分解爲更簡單命題,稱作爲原子命題,又可稱爲簡單命題;
2.另一種命題是通過聯結詞、標點符號將原子命題聯結而成,稱作爲複合命題。
**複合命題的基本性質:**其值可以由原子命題的真值以及他們複合成該複合命題的聯結方式確定。
1.1.3 命題標識符
通常使用大寫字母P、Q、R;或用帶下標的的大寫字母或用數字, 如Pi,[12]等。
命題常元
一個命題標識符如果表示確定的簡單命題,就稱爲命題常元。
命題變元
如果一個命題標識符只表示任意簡單命題的位置標誌,就稱爲它爲命題變元。
因爲命題變元可以表示任意簡單命題,所以它不能確定真值,故命題變元不是命題。
指派
當命題變元P 用一個特定的簡單命題取代是P才能確定真值,這時也稱P進行指派。