検索結果書誌詳細：蔵書検索システム

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数在庫数予約数などを確認できます。

所蔵数	1	在庫数	1	予約数	0

資料の状態

各蔵書資料に関する詳細情報です。

No.	資料番号	資料種別	請求記号	配架場所	状態	貸出
1	0007455231	図書一般	410.96/ﾏｴ06/	書庫	貸出可	○

この資料に対する操作

カートに入れるを押すとこの資料を予約する候補として予約カートに追加します。

いますぐ予約するを押すと認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

書誌情報サマリ

タイトル	記号論理入門
人名	前原昭二／著
人名ヨミ	マエハラショウジ
出版者・発行者	日本評論社
出版年月	2005.12

書誌詳細

この資料の書誌詳細情報です。

書誌種別	図書
タイトル	記号論理入門
シリーズ名	日評数学選書
タイトルヨミ	キゴウロンリニュウモン
シリーズ名ヨミ	ニッピョウスウガクセンショ
人名	前原昭二／著
人名ヨミ	マエハラショウジ
版	新装版
出版者・発行者	日本評論社
出版者・発行者等ヨミ	ニホンヒョウロンシャ
出版地・発行地	東京
出版・発行年月	2005.12
ページ数または枚数・巻数	8,200p
大きさ	22cm
価格	￥２２００
ISBN	4-535-60144-5
分類記号	410.96
件名	記号論理学
内容紹介	記号論理における基本的な考え方や基礎概念の説明に重点をおき、日常使用している論理との関連をも重視しながら、明確かつ手短かに記号論理の全体系を記述する。1967年の初版発行以降に出版された文献の紹介等を追記。
著者紹介	1927〜92年。東京生まれ。東京大学理学部数学科卒業。早稲田大学、東京教育大学、筑波大学、東京工業大学、放送大学に勤務。著書に「現代応用数学の基礎」など。
言語区分	jpn
タイトルコード	1009810812938
目次	第1章論理記号による命題の表現法
	§1.命題結合記号／§2.命題と命題関数／§3.全称記号と存在記号／§4.述語・性質／§5.概念・条件・集合／§6.論理記号の用例(その1)／§7.多変数の命題関数／§8.自由変数と束縛変数／§9.変数を含む命題／§10.論理記号の用例(その2)
	第2章演繹
	§1.→について／§2. について／§3. について／§4. について／§5.∀について／§6.∃について／§7.<矛盾>について／§8.<排中律>について
	第3章真理値
	§0.真理値の基本性質／§1. について／§2.→について／§3. について／§4. について／§5.命題の同値／§6.一般的な結論と注意
	第4章トートロジー
	§1.トートロジー／§2.論理式／§3.論理式の真理値／§4.論理式の真理値と真理値の基本性質／§5.演繹法の無矛盾性／§6.無矛盾性の証明はなぜ必要か?／§7.命題論理の完全性
	第5章命題の同値
	§0. の定義から直接にわかること／§1. に関する置換法則／§2.置換法則の特殊な場合／§3.∀および∃との関連／§4.置換法則の意味／§5.置換定理／§6.述語の同値
	第6章ド・モルガンの法則と双対の原理
	§0.2重否定の法則／§1.ド・モルガンの法則(その1)／§2.ド・モルガンの法則(その2)／§3.ド・モルガンの法則の形式の一般化／§4.→という論理記号に対する1つの注意／§5.双対の原理
	第7章いろいろな同値式
	§1.命題論理における同値式／§2.γとλとに関する同値式／§3.述語論理における同値式
	第8章補遺
	§1.=について／§2.対象領域／§3.対象領域の部分領域を変域とする変数／§4.2つ以上の対象領域をもつ述語論理
	付録Ⅰ.演繹法の無矛盾性
	§1.命題論理の無矛盾性／§2.述語論理の無矛盾性
	付録Ⅱ.最小論理・直観主義論理・古典論理のおのおのが実質的に異なるということの証明
	§1.λ→Aが最小論理の範囲では証明不可能であることの証明／§2.排中律が直観主義論理の範囲では証明不可能であることの証明
	付録Ⅲ.命題論理の完全性
	付録Ⅳ.論理記号のいろいろ
	参考書
	問題の解答
	新装版に寄せて