新入荷
再入荷
記号論理入門 新装版 前原昭二著 日本評論社 (演繹法 トートロジー ド・モルガンの法則
4
（5件）
タイムセール
終了まで
00
00
00
999円以上お買上げで送料無料（※）
999円以上お買上げで代引き手数料無料
999円以上お買上げで代引き手数料無料
通販と店舗では販売価格や税表示が異なる場合がございます。また店頭ではすでに品切れの場合もございます。予めご了承ください。
商品詳細情報
| 管理番号 |
新品 ：38528191918
中古 ：38528191918-1 |
メーカー | f9a9aeab | 発売日 | 2025-04-12 14:30 | 定価 | 1000円 | ||
|---|---|---|---|---|---|---|---|---|---|
| カテゴリ | |||||||||
記号論理入門 新装版 前原昭二著 日本評論社 (演繹法 トートロジー ド・モルガンの法則
2200円(税別)。2011年新装版3刷。
中古。【カバーに強めの傷みあり】。【表紙裏表紙に小さい凹みや傷あり】。他に書き込みや目立つ汚れなど無し(出品前に一通り確認していますが、見逃しがございましたらご容赦下さい)。。
【落札後24時間以内に必ずご連絡と、商品到着の翌日までに取引ナビの「受取連絡」をお願いします】
【オークション終了後3日以内のお支払いお願いします(新規の方は終了の翌日までにお支払いお願いします。】
出版社紹介文
記号論理の入門書として最適のものとして知られている旧著に、安東祐希による補足を加え「新装版」として刊行。
土日祝日を除くお支払いの当日または翌日に発送します
(悪天候の場合と年末年始は、発送が遅れることがあります)
入札の取り消しはご遠慮下さい。
新規の方と評価10以下の方、評価に悪いが多い方は、局留めでの発送はしません。
梱包について
ビニールと封筒で梱包します。
緩衝材での梱包をご希望の場合は110円ご負担お願いします(送料が変わる場合があります)。
もくじ
第1章 記号論理による命題の表現法
1.1 命題結合記号
1.2 命題と命題関数
1.3 全称記号と存在記号
1.4 述語・性質
1.5 概念・条件・集合
1.6 論理記号の用例(その1)
1.7 多変数の命題関数
1.8 自由変数と束縛変数
1.9 変数を含む命題
1.10 論理記号の用例(その2)
第2章 演繹
2.1 →について
2.2 ∧について
2.3 ∨について
2.4 ￢について
2.5 ∀について
2.6 ∃について
2.7 <矛盾>について
2.8 <排中律>について
第3章 真理値
3.0 真理表の基本性質
3.1 ￢について
3.2 →について
3.3 ∧について
3.4 ∨について
3.5 命題の同値
3.6 一般的な結論と注意
第4章 トートロジー
4.1 トートロジー
4.2 論理式
4.3 論理式の真理値
4.4 論理式の真理値と真理値の基本性質
4.5 演繹法の無矛盾性
4.6 無矛盾性の証明はなぜ必要か?
4.7 命題論理の完全性
第5章 命題の同値
5.0 <->の定義から直接にわかること
5.1 <->に関する置換法則
5.2 置換法則の特殊な場合
5.3 ∀および∃との関連
5.4 置換法則の意味
5.5 置換定理
5.6 述語の同値
第6章 ド・モルガンの法則と双対の原理
6.0 2重否定の法則
6.1 ド・モルガンの法則(その1)
6.2 ド・モルガンの法則(その2)
6.3 ド・モルガンの法則の形式の一般化
6.4 →という論理記号に対する1つの注意
6.5 双対の原理
第7章 いろいろな同値式
7.1 命題論理における同値式
7.2 ∨と∧に関する同値式
7.3 述語論理における同値式
第8章 補遺
8.1 =について
8.2 対象領域
8.3 対象領域の部分領域を変域とする変数
8.4 2つ以上の対象領域をもつ述語論理
付録１ 演繹法の無矛盾性
付録２ 最小論理・直観主義論理・古典論理のおのおのが実質的に異なるということの証明
付録３ 命題論理の完全性
付録４ 論理記号のいろいろ
参考書
問題の解答
新装版に寄せて
1 記号論理の導入について
2 本書の論理体系について
3 参考書(追加)
数学の作品リスト
![[A12345809]演習確率統計 (サイエンスライブラリ演習数学 6)](https://auctions.c.yimg.jp/images.auctions.yahoo.co.jp/image/dr000/auc0511/user/edc343cdefc90ed400aee3f558c4826ff1d13873ed0e7cf61e9f955abed75d52/i-img352x500-17309804429713yrpcja12113.jpg)
レディースの製品
