コトバンクはYahoo!辞書と技術提携しています。

分子命題 ぶんしめいだい

大辞林 第三版の解説

ぶんしめいだい【分子命題】

記号論理学の用語。もはやそれ以上分解不可能な原子命題が「かつ」「または」などの論理結合子で結合されて形成された命題。原子命題とは異なり、対応する実在的対象をもたない。その真理値は原子命題の真理値から機械的に導出される。

出典 三省堂大辞林 第三版について 情報

分子命題の関連キーワード要素命題原子命題真理値

今日のキーワード

桃李もの言わざれども下自ら蹊を成す

《「史記」李将軍伝賛から》桃やすももは何も言わないが、花や実を慕って人が多く集まるので、その下には自然に道ができる。徳望のある人のもとへは人が自然に集まることのたとえ。...

続きを読む

コトバンク for iPhone

コトバンク for Android