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

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

prop・o・si・tion→音声 n.提議,提案;主張,陳述;命題;<話>仕事;物,しろもの,相手,やつ;<話>(女への)誘いかけ.