邏輯學學習 4 命題邏輯（二） 符號化

一，命題的符號化

用人為規定的符號表示乙個命題

命題舉例：

「你幹這些工作或者我幹這項工作」

j表示「你幹這項工作」

k表示「我幹這項工作」

」或者「 是聯結詞，表示合取，用 ∧ 表示

命題常項：用大寫字母a到z表示。命題常項表示命題的縮寫。

命題變項：用 p, q, r, s 表示。命題變項表示待填入具體的命題。

邏輯學中的命題涉及的三層語言：

二，常見復合命題的符號化

「如果乙個人是勤奮的，並且聰明或者健康 ，那麼他是有能力的人；

如果乙個人既不聰明又不健康，那麼他沒能力 」

符號表示成：（（q∧（c∨j））→n）∧（（¬c∧¬j）→¬n）

先 」∧「 和 」∨「

後 」→「 和 「↔ 」

上面的命題省掉不必要的括號變成：（q∧（c∨j）→n）∧（¬c∧¬j→¬n）

《自然演繹邏輯導論》 陳曉平

邏輯學學習 3 命題邏輯 （一） 基本概念

演繹邏輯研究的乙個基本分支就是命題邏輯，命題邏輯以命題為最小單位。它主要是研究復合命題中的真值函項復合命題，怎樣由簡單命題推導出真值函項復合命題。一，基本概念 簡單命題是不包含其他命題的命題。復合命題是包含其他命題的命題。命題邏輯的研究物件主要是復合命題。復合命題包含兩個基本成份 真值函項復合命題該...

簡單邏輯學 學習邏輯學的思想準備 真相

所有的邏輯推理，所有的論證，目的只有乙個 找出某個事物的真相。這是個艱鉅的任務，因為在有些情況下，真相是難以捉摸的。但不探尋真相更荒謬，因為真相是我們所有努力的意義所在。那種真相永遠是可望而不可即的想法同樣是荒謬，因為它否定了我們所有的努力，使之看來毫無理性，毫無意義，使真相淪落為妄想。真相有兩種基...

邏輯學學習 1 概念（一） 詞項命題和推論

任何具體推論都有內容和形式兩個方面。推論的內容就是推論所涉及的具體物件，推論的形式就是推論所具有的共同結構。因此這種邏輯學也叫做 形式邏輯 為什麼要研究 形式邏輯 因為乙個推論的有效性取決於推論的形式而不取決於推論的內容。1.詞項，命題和推論 現代邏輯學用 詞項 term 命題 propositio...