演繹邏輯研究的乙個基本分支就是命題邏輯，命題邏輯以命題為最小單位。它主要是研究復合命題中的真值函項復合命題，怎樣由簡單命題推導出真值函項復合命題。
一，基本概念
簡單命題是不包含其他命題的命題。
復合命題是包含其他命題的命題。命題邏輯的研究物件主要是復合命題。
復合命題包含兩個基本成份：
真值函項復合命題該復合命題的結果真值唯一地取決於其支命題的真值。
也就是說由其支命題的真值唯一地推導出復合命題的真值。
推導方法有真值表方法（包括短真值表方法）和自然演繹方法。
真值函項連線詞構成真值函項復合命題的聯結詞
命題舉例
[命題例1][命題例1]是乙個復合命題，而且是乙個真值函項復合命題，連線詞是」並且「」老王吃飯並且喝茶「
[命題例2][命題例2]是乙個復合命題，聯結詞是」在…之後「，但這不是乙個真值函項復合命題，」老王吃飯在喝茶之後「
因為支命題不能唯一確定復合命題。所以它的聯接詞」在…之後「不是真值函項聯接
詞。
[命題例3][命題例3]雖然是乙個復合命題，但是它的真值得不出，不知真假。所以它不是真值項復合命題。聯結詞」…懷疑…「不是真值函項聯結詞。」老王懷疑劉某是個罪犯「
可見在日常語言中，大部分的聯結詞都不是真值函項聯結詞。只有一小部分聯結詞是真值函項聯結詞。
二，邏輯學裡所研究的真值函項聯結詞只有五個，表示最基本的5種邏輯關係pq
p∧ q
p∨ q
¬pp→ q
p ↔ q11
1101
1100
1000
0101
1100
0001
11參考資料
《自然演繹邏輯導論》 陳曉平
邏輯學學習 4 命題邏輯（二） 符號化
一，命題的符號化 用人為規定的符號表示乙個命題 命題舉例 你幹這些工作或者我幹這項工作 j表示 你幹這項工作 k表示 我幹這項工作 或者 是聯結詞，表示合取，用 表示 符號化 j k 命題常項 用大寫字母a到z表示。命題常項表示命題的縮寫。命題變項 用 p,q,r,s 表示。命題變項表示待填入具體的...
離散數學學習筆記 命題邏輯的基本概念
參考書目 離散數學 屈婉玲 命題 非真即假的陳述句。悖論不是命題，如 我正在說假話。例題1.4 2 將下列命題符號化 張曉靜只能挑選202或203房間。解 p 張曉靜挑選202房間。q 張曉靜挑選203房間。由題意知 這個或為排斥或，這個女人不可能同時挑選202或203房間。因此符號化為 例1.5 ...
邏輯學基本概念
同一律 a是a 排中律 a或者 a必定有乙個為真。不能同假，必有一真，有真。由假推真。排除中立情況。充分理由律 因果關係，不能自我解釋自我。矛盾律 a或者 a不能同時為真。不能同真，必有一假，有假。由真推假。內卷 內部長期自我消耗和重複，整體沒有擴張和發展的現象 建議有四個 1.拋棄思維偏見，重新定...