タブローの方法による論理学入門

丹治信春 著

本書は、記号論理学を初めて学ぶ人のための教科書である。

「BOOKデータベース」より

[目次]

  • 第1部 命題論理(命題論理の記号言語
  • 真理値分析とトートロジー
  • 命題論理のタブロー
  • 命題論理における健全性と完全性)
  • 第2部 述語論理(述語論理の記号言語
  • 述語論理における真理値と妥当性
  • 述語論理のタブロー
  • 述語論理における健全性と完全性)

「BOOKデータベース」より

この本の情報

書名 タブローの方法による論理学入門
著作者等 丹治 信春
書名ヨミ タブロー ノ ホウホウ ニ ヨル ロンリガク ニュウモン
書名別名 Taburo no hoho ni yoru ronrigaku nyumon
出版元 朝倉書店
刊行年月 1999.11
ページ数 137p
大きさ 21cm
ISBN 4254500122
NCID BA4379611X
※クリックでCiNii Booksを表示
全国書誌番号
20013888
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想