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

丹治信春 著

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

「BOOKデータベース」より

[目次]

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

「BOOKデータベース」より

この本の情報

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

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想