什麼叫做命題的邏輯形式

　　命題邏輯是指以邏輯運算子結合原子命題來構成代表"命題"的公式，以及允許某些公式建構成"定理"的一套形式"證明規則"。相對於謂詞邏輯，它是量化的並且它的原子公式是謂詞函式;和模態邏輯，它可以是非真值泛函的。

　　在現代哲學、邏輯學、語言學中，命題是指一個判斷的語義，而不是判斷本身。當不同的判斷具有相同的語義的時候，表達相同的命題。例如，雪是白的漢語和英語是不同的判斷，但它們表達的命題是相同的。同一種語言的兩個不同的判斷也可能表達相同的命題。例如，剛才的命題也可以是冰的小結晶是白的，當然，這種說法不如上一種說法好。

　　通常，命題是指閉判斷，以區別於開判斷，或謂詞。在這種情況下，命題不是真的就是假的。哲學學派邏輯實證主義支援這一命題的概念。

　　一些哲學家，諸如約翰希爾勒，認為其他形式的語言或行為也判定命題。是非疑問句是對命題真值的詢問。道路交通標誌不透過語言和文字也表達了命題。使用陳述句也可能給出一個命題而不判定它，例如，在當老師請學生對某個引用發表意見的時候，這個引用就是一個命題（即它有語義）而這個老師並沒有判定它。在上一段中，只給出了命題雪是白的，但沒有判定它。

　　命題有四種通常的形式，分別為：原命題，逆命題，否命題，逆否命題。

　　原命題：一個命題的本身稱之為原命題；逆命題：將原命題的條件和結論顛倒的新命題；否命題：將原命題的條件和結論全否定的新命題，但不改變條件和結論的順序；逆否命題：將原命題的條件和結論顛倒，然後再將條件和結論全否定的新命題。關於命題，在現代哲學，數學，邏輯學，語言學中， 是指一個判斷的語義，這個概念是可以被定義並觀察的現象。命題不是指判斷本身，而是指所表達的語義。