記号論理学とは,論理を論理式という数式のような記号で表し,厳密なやり方で処理する方法の体系である。ある事態が成り立っている(真である)とき ...

論理学者、数学者の立場から、記号論理学の基礎から始めて、従来の既知の記号現象を分析する静的な記号論ではなく、記号化できないとされたものをメタ言語において語りうる ...

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用など ...

本書は、著者が広島市立大学で行った記号論理学の入門コースの講義原稿をまとめたものである。内容は、初級クラスに必要最低限の、命題論理及び1階述語論理の公理論、モデ ...

論理計算の実際面と記号論理学の基本的な考え方

... 記号表現を用いる記号論理学へと発展した.AI 数学者,論理学者.フレーゲ(Gottlob Frege)1848∼の立場では,論理学は知識表現や推論の基礎を与えるものとなる.本節では,記号論理学の基本として命題論理について学ぶ. 1925.数学者,哲学者.ドイツ.なお論理学 ...