🚧命題╱statement

數學 ⟩ 邏輯 ⟩ 命題╱statement

可以斷定為「真╱true」或「假╱false」的敘述，稱為「命題╱statement」。

💈範例

下列敘述可以斷定為「真」或「假」，所以都是數學命題：

• 「$1+2=3$」為「真」

• 「$2>3$」為「假」

• 「月亮是奶油做的」為「假」

下列敘述無法斷定為「真」或「假」，所以都不是數學命題：

• 「小栗旬很帥」(帥不帥牽涉到個人主觀認知，沒有統一標準)

• 「$x+1=2$」(牽涉到變數，所以到等 $x$ 確定才能判斷真假)

• 「你喜歡咖啡嗎？」(這是疑問句，跟真假值無關)

👥 相關

• 「集合」為「含有一個參數的命題」

📗 參考

• wiki ⟩ statement (logic)

• Discrete Mathematics (Oscar Levin) ⟩ 3.1 Propositional Logic (p.132)