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