めいだいろんりがく【命題論理学】 命題の内部構造にまでは立ち入らず，要素となる命題を否定・連言・選言・含意・等値によって結合して得られる複合命題の真偽や推論形式の妥当性を調べる論理学の基礎的分野。