命題邏輯

要定義的術語“命題邏輯”，就必須清楚地了解什麼是“聲明”。

因此，該語句是一個句子，排名語法正確，而且是假的或真實的。 這個概念必須表達一定的意思。 例如，短語“金絲雀具有”包括以下部分：“金絲雀”和“鳥”。

這就是為什麼邏輯的和關鍵的初始概念之一都這麼說。 這些概念必須說明具體情況該陳述要么是某事或否認。

它被認為是一個真正的聲明，如果當它被包圍的情況追踪線的現實。 就其本身而言，“假”與“真”確定報告的真實。

命題邏輯包括簡單和複雜的表達式。 所以，只是覺得不其組成其他表達式中包含的語句。 和複雜的包括從一個簡單的，邏輯地連接語句衍生的表述。

經典命題邏輯可以通過扣除的一般理論來表示。 它是邏輯，其描述了不依賴於簡單的表達式的邏輯連接的發言的部分。

且不說連詞 - 通過結合使用單詞“和”兩個簡單的表達式獲得一個艱難的命題。 連詞的事實證實，包含在其結構中的所有語句。 在這種情況下，其成員一個假的至少一個，整個結合是的標誌“謊言”。

本身是一個結合，以形成複雜的語句，其基於以下假設：

- 任何表達（和簡單和複雜）可以是真或假;

- 複雜的話語的真相取決於它包含的語句，並在其中的邏輯鏈路的真相。

當連接使用這個詞的兩個語句“或”已經取得的脫節。 在日常生活中，這一概念可以從兩個不同的含義的角度來看待。 首先，它是非排他性意義上，這意味著表達的真相，無論這兩個中的一個的真實表達的或是它們的那些兩者。 其次，消除感聲稱，其中的一個表達式為true，另 - 是假的。

命題公式包含特殊字符。 因此，在析取符號V表示，該表達式為true，如果在語句中的至少一個，如果她的兩個假陰莖假的真相。

在確定含義有是在錯誤的調查基礎陳述不能算是真正的斷言。 換句話說，這個概念意味著依賴真理或其組成部分及其相互關係的方法的價值表達的謬誤。

儘管寓意是為了某些目的非常有用的，它不與通信的一般常規理解非常一致。 所以，當它圍繞設備的許多概念給出的陳述的邏輯行為的重要特徵可能不是它的一個充分的說明。

命題邏輯旨在解決這樣的中心任務，因為正確和不正確的電路推理和系統化第一的分離。 為了得到正確的結果，你需要把重點放在特殊字符，可以代表一種或另一種形式。 因此表明在這種看似微不足道的詞語，如“或”興趣“和”等

邏輯語句甚至有自己的語言，包括以下內容：

- 原創人物 - 變量，邏輯常項和技術符號;

- 公式。

為了更好地理解說了些什麼，你必須去具體的例子。 例如，結合使用的符號，析取 - \ /或\º/。