命题

---

在现代形式逻辑中，具有对其真实性(真的、假的)和模态性(或然的、可能的、不可能的、必然的等)作出译定的、某一语言的句子。

某一命题，如本身还包含有另一命题；就称为复合命题；否则，就称为简单命题。任何命题都表达一定思想，这一思想就是命题的内容和命题的涵义。

对某一命题或此或彼的真假的评价称为命题的真值。命题所涉及的对象称为命题的对象。

除用“命题”这一术语外，有时也用“句子”和“判断”这两个术语。