命題論理

めいだいろんり

命题逻辑

論理学

ろんりがく

（研究）逻辑

命題

めいだい

〈哲〉命题。

数理論理学

すうりろんりがく

数理逻辑

理論物理学

りろんぶつりがく

理论物理学

論題

ろんだい

论题。

理論化学

りろんかがく

理论化学。

学習理論

がくしゅうりろん

学习理论

理論哲学

りろんてつがく

理论哲学

文学理論

ぶんがくりろん

文学理论

数学的論理学

すうがくてきろんりがく

数理逻辑

逆命題

ぎゃくめいだい

逆命题

形式論理学

けいしきろんりがく

形式逻辑

記号論理学

きごうろんりがく

符号逻辑学。

様相論理学

ようそうろんりがく

模态逻辑

多値論理学

たちろんりがく

多值逻辑学。

二値論理学

にちろんりがく

二值逻辑

理論生物学

りろんせいぶつがく

理论生物学

帰納論理学

きのうろんりがく

归纳逻辑