論理

中谷太郎 著

[目次]

  • 目次
  • 1章 命題と真理関数 / p1
  • 1・1 命題 / p1
  • 1・2 否定 / p6
  • 1・3 合接と離接 / p9
  • 1・4 ド・モルガンの法則 / p19
  • 1・5 双対の原理 / p24
  • 2章 論理式の変形 / p29
  • 2・1 条件文 / p29
  • 2・2 双条件文 / p35
  • 2・3 論理演算の相互関係 / p37
  • 2・4 可能な真理関数 / p40
  • 2・5 標準形 / p45
  • 3章 推論 / p55
  • 3・1 推論の意味 / p55
  • 3・2 命題論理の公理系と演繹法則 / p60
  • 3・3 証明 / p63
  • ブール関数による証明 / p69
  • 4章 命題関数と限定命題 / p75
  • 4・1 命題関数 / p75
  • 4・2 限定命題 / p78
  • 4・3 限定命題の関係 / p84
  • 4・4 限定推論 / p92
  • 4・5 推論図 / p95
  • 5章 命題関数と集合 / p99
  • 5・1 真理集合 / p99
  • 5・2 集合演算 / p105
  • 5・3 部分集合 / p119
  • 5・4 必要条件と十分条件 / p126
  • 6章 関係の論理 / p135
  • 6・1 多変数の命題関数 / p135
  • 6・2 命題関数のグラフ / p137
  • 6・3 限定命題 / p141
  • 6・4 数学と論理 / p148
  • 6・5 広義の述語論理 / p160
  • 解答 / p169
  • 索引 / p1

「国立国会図書館デジタルコレクション」より

この本の情報

書名 論理
著作者等 中谷 太郎
書名ヨミ ロンリ
シリーズ名 新しい数学へのアプローチ ; 2
出版元 共立
刊行年月 1967
ページ数 188p
大きさ 22cm
ISBN 4320010523
NCID BN0196081X
※クリックでCiNii Booksを表示
全国書誌番号
67010225
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想