アウトドア本フェア2022
現在地
トップ >  > 科学・技術 > 数学

形式論理探求(第1巻)
高木 翼

1,379(税込)送料無料

  • 発行形態:
  • 紙書籍 (単行本)

この商品が関連するクーポン・キャンペーンがあります(2件)

※エントリー必要の有無や実施期間等の各種詳細条件は、必ず各説明頁でご確認ください。

楽天ブックス初めてご利用の方限定!

初めてご利用&条件達成でポイント最大5倍!

商品情報

  • 発売日:  2019年05月13日頃
  • 著者/編集:   高木 翼
  • 出版社:   やまなみ書房
  • 発行形態:  単行本
  • ページ数:  143p
  • ISBN:  9784909624024

商品説明

内容紹介

タブローという図によって論理を視覚的に分析する方法について丁寧に解説する。本書では、最も基本的な論理として知られている古典論理を探求する。



[著者]



高木 翼(たかぎ つばさ)

1997年 東京都に生まれる。現在 法政大学文学部哲学科在学中。量子論理に関する発表で、日本物理学会第11回Jr.セッション審査員特別賞を受賞。論文「K4タブローによる妥当性判定と濾過法」(Journal of Science and Philosophy, Association for Science and Philosophy 編, 2019年)。

内容紹介(出版社より)

タブローという図によって論理を視覚的に分析する方法について丁寧に解説する。本書では、最も基本的な論理として知られている古典論理を探求する。

本書では、最も基本的な論理として知られている「古典論理」を初学者でも分かるように丁寧に解説する。本書の最大の特徴は、合計53問の練習問題とその詳細な解答(約50ページ!)を掲載している点にある。著者としては、論理学は実践して初めて自分のものになる学問だと考えているので、このように豊富な練習問題を掲載した。この本は、特に次のような読者におすすめする。

* 論理学を基本的な部分から体系的に勉強したい
* 文字だけで色々言われても分からないので、図を使って論理を勉強したい。
* 実際に論理が身についているか不安なので、たくさんの問題を解いて理解度を確認したい。
はじめに
第1章 古典命題論理の意味論
§1.1 命題の意味
§1.2 「または」と「ならば」
§1.3 命題の記号化
§1.4 真理値表
§1.5 命題の変形
§1.6 命題論理の論証
§1.7 様々な論証
演習問題
第2章 古典命題論理のタブロー
§2.1 命題論理のタブローの規則
§2.2 タブローの描き方
§2.3 タブローによる反例の発見
§2.4 タブローによる妥当性の証明
§2.5 命題論理のタブローの健全性と完全性
演習問題
第3章 古典述語論理の意味論
§3.1 個体と固有名
§3.2 量化子による記号化
§3.3 閉論理式の真理値I
§3.4 閉論理式の真理値II
§3.5 述語論理の論証
§3.6 同じ意味
§3.7 多項述語論理
演習問題
第4章 古典述語論理のタブロー
§4.1 述語論理のタブローの規則
§4.2 真理保存性
§4.3 タブローによる論証の分析
§4.4 タブローの規則の適用順序と複数回適用
§4.5 多項述語論理のタブロー
§4.6 ヒンティッカ集合
§4.7 述語論理のタブローの健全性と完全性
演習問題
補遺
解答
確認問題の解答
第1章の演習問題の解答
第2章の演習問題の解答
第3章の演習問題の解答
第4章の演習問題の解答
索引

商品レビュー

ブックスのレビュー

まだレビューがありません。 レビューを書く

楽天ブックスランキング情報

  • 週間ランキング

    ランキング情報がありません。

  • 日別ランキング

    ランキング情報がありません。

取り寄せ

通常3〜7日程度で発送

個数 

最近チェックした商品

    ※表示を削除したい場合は閲覧履歴のページから削除お願いいたします

    ランキング:科学・技術

    ※1時間ごとに更新

    1. 1
      ウイルス学者の責任
      ウイルス学者の責任

      宮沢 孝幸

      1,078円(税込)

    2. 2
      速報版 運転免許認知機能検査模擬テスト
      速報版 運転免許認知機能検査模擬テスト

      550円(税込)

    3. 3
      my HERO vol.03
      my HERO vol.03

      株式会社 my HERO

      1,500円(税込)

    4. 4
      空のふしぎがすべてわかる! すごすぎる天気の図鑑
      空のふしぎがすべてわかる! すごすぎる…

      荒木 健太郎

      1,375円(税込)

    5. 5
      もっとすごすぎる天気の図鑑 空のふしぎがすべてわかる!
      もっとすごすぎる天気の図鑑 空のふしぎ…

      荒木 健太郎

      1,375円(税込)

    1. 1
      お金持ちは断捨離上手
      電子書籍お金持ちは断捨離上手

      やましたひでこ

      1,089円(税込)

    2. 2
      ジェイソン流お金の増やし方
      電子書籍ジェイソン流お金の増やし方

      厚切りジェイソン

      1,320円(税込)

    3. 3
      どんなときでもバッチリ伝わる!説明力があがるコツ
      電子書籍どんなときでもバッチリ伝わる!説明力が…

      佐々木 恵

      594円(税込)

    4. 4
      トヨタ式「すぐやる人」になれる8つのすごい! 仕事術
      電子書籍トヨタ式「すぐやる人」になれる8つのす…

      桑原晃弥

      880円(税込)

    5. 5
      人は話し方が9割
      電子書籍人は話し方が9割

      永松茂久

      1,540円(税込)

    購入データ自動連携!楽天ブックス公式 無料 読書管理パプリ Readee

    このページの先頭へ