FANDOM


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

種類

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

出典

  1. Logic - MathWorld