めいだい-ろんりがく [7] 【命題論理学】 命題の内部構造にまでは立ち入らず，要素となる命題を否定・連言・選言・含意・等値によって結合して得られる複合命題の真偽や推論形式の妥当性を調べる論理学の基礎的分野。ここで最小単位とされた命題の内部構造にまで分析を進めると，述語論理学へと発展する。