数理論理学

数理論理学（すうりろんりがく）とは、論理を数学によって

研究する学問である。記号論理学（きごうろんりがく）とも言う。

言葉を、矯正歯科　大阪代数学におけると同様に文字や記号の列で表して、

その変換について研究するいわゆる記号論理学、数理論理学の発祥は、

19世紀のジョージ・ブールによる「論理代数」、ゴットロープ・フレーゲの

書『概念記法』に広島市中区歯医者見ることができる。前者は命題論理、後者は述語論理の

原型である。数学自体を数学によって研究する数学基礎論は、

数理論理学なしには東京　矯正歯科あり得ないものである。

たとえば数理論理学の一分科である命題論理では、

「風が吹いた」という観念を文字 A で表し「桶屋が儲かる」

という観念を 文字 B で表したとき、「風が吹いたならば桶屋が儲かる

（風が吹けば桶屋が儲かる）」という観念を A ⇒ B などと表す。

ここに、記号 ⇒ は「前の概念が正しければ後ろの概念も正しい」

ということを表し、A ⇒ B を「A ならば B」と読む。