記号論理学入門

石谷茂 著

[目次]

  • 目次
  • まえがき
  • I 命題論理 / p7
  • 第1節 命題 / p7
  • 1 命題の意味 / p7
  • 2 単一命題と合成命題 / p8
  • 3 命題論理の立場 / p9
  • 第2節 論理的記号(1) / p11
  • 1 論理的コトバと記号 / p11
  • 2 否定 / p13
  • 3 連言 / p15
  • 4 選言 / p17
  • 5 命題の記号化の例 / p20
  • 第3節 同格 / p24
  • 1 同格 / p24
  • 2 同格な命題の例 / p26
  • 3 同格の性質 / p35
  • 第4節 論理的記号(2) / p37
  • 1 同値 / p37
  • 2 内含 / p41
  • 3 内含の変形 / p45
  • 4 複雑な内含の変形 / p49
  • 5 2変数の合成命題 / p52
  • 第5節 恒真命題 / p55
  • 1 恒真命題と恒偽命題 / p55
  • 2 同格と恒真命題 / p60
  • 3 双対の原理 / p62
  • 4 内含と恒真命題 / p63
  • 5 恒真性のテスト / p65
  • 第6節 推論 / p68
  • 1 推論と正誤テスト / p68
  • 2 いろいろの推論 / p71
  • 3 証明と背理法 / p76
  • 4 転換法 / p82
  • 5 必要条件と十分条件 / p85
  • II 集合と述語論理 / p89
  • 第1節 集合 / p89
  • 1 集合と元 / p89
  • 2 集合の相等と部分集合 / p90
  • 3 共通集合と合併集合 / p92
  • 4 全体集合と空集合 / p93
  • 5 補集合 / p98
  • 6 法則のまとめ / p102
  • 7 集合の図示のくふう / p103
  • 8 集合の直積 / p107
  • 第2節 述語論理 / p110
  • 1 主語と述語の分析 / p110
  • 2 命題関数と真理集合 / p113
  • 3 限量記号と否定 / p118
  • 4 限量記号と連言,選言 / p127
  • 5 限量記号と内含 / p131
  • 6 恒真性のテスト / p134
  • 第3節 関係の述語論理 / p138
  • 1 関係の記号化 / p138
  • 2 関係の分類 / p142
  • 3 関係と限量記号 / p145
  • 記号一覧表 / p150
  • 索引 / p151

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

この本の情報

書名 記号論理学入門
著作者等 石谷 茂
書名ヨミ キゴウ ロンリガク ニュウモン
出版元 明治図書
刊行年月 1965
ページ数 151p
大きさ 22cm
NCID BN02757039
※クリックでCiNii Booksを表示
全国書誌番号
65003370
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想