|
記号論理学入門
石谷茂 著
[目次]
- 目次
- まえがき
- 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
※クリックで国立国会図書館サーチを表示
|
言語 |
日本語 |
出版国 |
日本 |
この本を:
|
件が連想されています
|