めい‐だい【命題】 ①題号をつけること。また、その題。 ②〔論〕(proposition)真偽を判定することのできる文（平叙文）。また、その意味内容。→判断。 ⇒めいだい‐ろんり【命題論理】

めいだい‐ろんり【命題論理】 (propositional logic)命題の真偽性や推論形式を、命題の内部構造に立ち入らずに、結合形式のみに即して論ずる、記号論理学の一分野。→述語論理 ⇒めい‐だい【命題】