記号論理学

著者

• 加藤, 浩 カトウ, ヒロシ
• 土屋, 俊 ツチヤ, シュン

書誌事項

記号論理学

加藤浩, 土屋俊著

（放送大学教材, 1570064-1-1411）

放送大学教育振興会, 2014.3

タイトル読み

キゴウ ロンリガク

注記

テレビ教材

索引あり

内容説明・目次

目次

• 論理学とは何か
• 記号を使う
• 記号・式・命題
• 命題の意味
• 推論の妥当性を厳密に定義する
• タブローによる妥当性のチェック
• 多重量化
• 日本語から形式言語への翻訳
• 数を数える命題
• 日本語の推論の妥当性
• タブローの方法の健全性と完全性
• 役立つ記号論理学

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB15013109
• ISBN:
  • 9784595314964
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: 249p
• 大きさ: 21cm
• 分類:
  • NDC8 : 410.96
  • NDC9 : 410.96
• 件名:
  • NDLSH : 記号論理学
• 親書誌ID:
  • BN00491972