記号論理学

• 資料種別: 図書
• ISBN: 978-4-595-32481-9
• タイトル: 記号論理学
• タイトルよみ: キゴウ ロンリガク
• 著者・編者: 加藤浩, 辰己丈夫 編著
• 版: 新訂
• シリーズタイトル: 放送大学教材. 情報コース/専門科目
• 著者標目: 著者 ： 加藤, 浩, 1962- カトウ, ヒロシ, 1962- ( 00857302 )典拠; 著者 ： 辰己, 丈夫, 1967- タツミ, タケオ, 1967- ( 00731870 )典拠; 編集責任者 ： 放送大学 ホウソウ ダイガク ( 00646432 )典拠
• 出版事項: 東京 : 放送大学教育振興会 (出版)
• 出版年月日等: 2024.3
• 出版年（W3CDTF）: 2024
• 数量: 261 p
• 大きさ: 21 cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 表現種別: テキスト
• 機器種別: 機器不用
• キャリア種別: 冊子
• 件名標目: 記号論理学 キゴウロンリガク ( 00565709 )典拠
• NDC10版: 410.96 : 数学
• NDLC: MA41
• 対象利用者: 一般
• 入手条件・定価: 3100円
• 所蔵機関: 国立国会図書館
• 請求記号: MA41-R3
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 033311417; http://id.ndl.go.jp/bib/033311417
• 全国書誌番号: 23962968
• 目録規則: 日本目録規則2018年版
• 整理区分コード: 111

• 要約等: 記号論理学とは、論理を論理式という数式のような記号で表し、厳密なやり方で処理する方法の体系である。ある事態が成り立っている（真である）とき、そこから別の事態を導き出したり、その推論の正しさを証明したりする。記号論理学は、数学、哲学、計算機科学などの基礎となるほか、論文執筆や議論やプレゼンテーションな...

目次

１．論理学とは何か・記号を使う　２．記号・ 式・ 命題　３．命題の意味　４．推論の妥当性を厳密に定義する　５．タブローによる妥当性のチェック（１）　６．タブローによる妥当性のチェック（２）　７．多重量化　８．日本語から形式言語への翻訳　９．個数を表す命題　１０．日本語の推論の妥当性（１）　１１．日本語の推論の妥当性（２）　１２．日本語の推論の妥当性（３）　１３．タブローの方法の健全性と完全性　１４．論理学の応用　１５．論理学の歴史