jpdb beta

① 論理演算において、ある命題が、前提となる命題に対して矛盾を生じないこと。

① なにかに属している人物。