数理論理学

数理論理学 (Mathematical logic) または記号論理学 (Symbolic logic) は、数学の推論や証明の方法、構造、正当性に関する学問である^[1]。

種類

論理学とはいえ、論理学が使用している言語によって、その論理の名称は異なる。一口に言っても、命題論理、述語論理、自然演繹法、直観主義論理、様相論理などに分かれる。

出典

1. ↑ Logic - MathWorld