FANDOM


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

種類 編集

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

出典 編集

  1. Logic - MathWorld

広告ブロッカーが検出されました。


広告収入で運営されている無料サイトWikiaでは、このたび広告ブロッカーをご利用の方向けの変更が加わりました。

広告ブロッカーが改変されている場合、Wikiaにアクセスしていただくことができなくなっています。カスタム広告ブロッカーを解除してご利用ください。

FANDOMでも見てみる

おまかせWiki