めいだいろんりがく【命題論理学】

命題の内部构造にまでは立ち入らず，要素となる命題を否定·連言·選言·含意·等値によって結合して得られる複合命題の真偽や推論形式の妥当性を調べる論理学の基礎的分野。命题逻辑学。逻辑学的基础分支，它不深入命题的内部构造，研究通过将要素命题否定、连言、选言、含意、等值等结合所得复合命题的真伪和推论形式的妥当性等。

单词	めいだいろんりがく【命題論理学】
释义	めいだいろんりがく【命題論理学】命題の内部构造にまでは立ち入らず，要素となる命題を否定·連言·選言·含意·等値によって結合して得られる複合命題の真偽や推論形式の妥当性を調べる論理学の基礎的分野。命题逻辑学。逻辑学的基础分支，它不深入命题的内部构造，研究通过将要素命题否定、连言、选言、含意、等值等结合所得复合命题的真伪和推论形式的妥当性等。
随便看	みょうれんじみょうれんじ【妙蓮寺】みよみよ·いみよ·い【見好い】みよ【御代】みよいみようみよう【見】みようみまねみようみまね【見見真似】みよかしみよかし【見よかし】みよしみよし【三好】みよし【三次】みよし【三芳】みよし【舳】みよしきよゆきみよしきよゆき【三善清行】みよしじゅうろうみよしじゅうろう【三好十郎】みよしたつじみよしたつじ【三好達治】みよしながよし