記号論理入門 新装版 前原昭二著 日本評論社　(演繹法　トートロジー　ド・モルガンの法則

• 商品收藏
• 卖家收藏
• 费用预估
• 卖家其他商品
• 原始页面
• 卖家信用

日品网由商品页面挑出的重要提示

• 侦测到“故障品”字样，请与客服确认
• 此卖家为店铺，收8%消费税
• 此商品为海外发货，可能收取高额运费
• 此商品注意尺寸重量限制,以免无法运输

• 拍卖号:d1060328010
  开始时的价格:￥66
  个数:1
  最高出价者:
  开始时间:2024/9/29 22:11:20
  结束时间:
  提前结束:有可能
  商品成色:二手
  自动延长:不会
  日本邮费:卖家承担
  可否退货:不可以

• 雅虎卖家:rakuhokuty
  卖家评价:好评（7466）
  卖家评价:差评（11）
  店铺卖家:个人卖家
  发货地址:宮城県

宮城県 到 京都 的运费参考

三边和	运费
60厘米	￥62
80厘米	￥74
100厘米	￥87
120厘米	￥99
140厘米	￥112
160厘米	￥123

以上仅供参考，具体以卖家规定为标准

1、【自动延长】：如果在结束前5分钟内有人出价，为了让其他竞拍者有时间思考，结束时间可延长5分钟。
2、【提前结束】：卖家觉得达到了心理价位，即使未到结束时间，也可以提前结束。
3、参考翻译由网络自动提供，仅供参考，不保证翻译内容的正确性。如有不明，请咨询客服。
4、本站为代购代拍平台，商品的品质和卖家的信誉需要您自己判断。请谨慎出价，竞价成功后订单将不能取消。
5、违反中国法律、无法邮寄的商品(注：象牙是违禁品，受《濒临绝种野生动植物国际贸易公约》保护)，本站不予代购。
6、邮政国际包裹禁运的危险品，邮政渠道不能发送到日本境外（详情请点击）, 如需发送到日本境外请自行联系渠道。

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 参考書(追加)