論理学

Author(s)

• 藤川, 吉美 フジカワ, ヨシミ

Bibliographic Information

論理学

藤川吉美著

早稲田大学出版部, 1986.3

Title Transcription

ロンリガク

Access to Electronic Resource 1 items

• 論理学

  1986

  NDL Digital Collections

  Limited

Description and Table of Contents

Table of Contents

• 第１部　真理関数論（第１章　論理記号の説明；第２章　日常的言明の記号化；第３章　真理の定義と真理関数；第４章　真理値分析とｔａｕｔｏｌｏｇｙ；第５章　各種の妥当な推論；第６章　双対原理とその証明；第７章　連言標準形と選言標準形；第８章　証明の形式化（Ｇｅｎｔｚｅｎ　ｔｙｐｅ　ｓｙｓｔｅｍ　ＬＫ＊）；第９章　証明の方法；第１０章　基本定理とその証明；第１１章　整合性と完全性；第１２章　決定問題とその解決）
• 第２部　量化理論（第１３章　量記号の導入と言明の内部構造の解明；第１４章　基本的諸概念；第１５章　日常的言明の記号化；第１６章　真理の定義と妥当式；第１７章　妥当な量的推論；第１８章　双対原理とその証明；第１９章　Ｐｒｅｎｅｘ　ｎｏｒｍａｌ　ｆｏｒｍ；第２０章　Ｓｋｏｌｅｍ　ｎｏｒｍａｌ　ｆｏｒｍ；第２１章　証明の形式化（Ｇｅｎｔｚｅｎ　ｔｙｐｅ　ｓｙｓｔｅｍ　ＬＫ）；第２２章　証明の方法；第２３章　三段論法の証明；第２４章　基本定理とその証明；第２５章　ＬＫの整合性と完全性；補遺　完全性定理）

by "BOOK database"

Details

• NCID: BN00614438
• ISBN:
  • 4657861018
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: iii, 198p
• Size: 22cm
• Classification:
  • NDC8 : 116
  • NDLC : H35
• Subject Headings:
  • NDLSH : 論理学