三省堂 大辞林

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

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