論理学

野矢茂樹(著者)

• 販売会社／発売会社: 東京大学出版会
• 発売年月日: 1994/02/20
• JAN: 9784130120531

商品レビュー

2026/08/06

【学内から】
https://elib.maruzen.co.jp/elib/html/BookDetail/Id/3000046805?4

【学外からリモートアクセス】
https://sfx3.usaco.co.jp/kul?url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&ctx_enc=info:ofi/enc:UTF-8&ctx_ver=Z39.88-2004&rfr_id=info:sid/sfxit.com:azbook&sfx.ignore_date_threshold=1&rft.object_id=4100000001796469

2025/11/12

12「推論の形式化」
推論に本質的に関わっている言葉だけを残して、推論の骨組みを取り出すこと。
ex AはBである

「命題論理」＝否定辞と接続詞によって成り立つ

16 否定辞とは、命題の真偽を反転させる働きを持った言葉

真理関数＝分子命題の真偽が、原子命題の真偽によって決まるということ

p20 論理記号の基本式
否定　　Pではない　¬p
連言　　ｐかつQ　　p ∧ q　
選言　　PまたはQ　 p ∨ q

条件分　PならばQ p ⊃ q (pはqに含まれる)
※条件文は、条件文が満たされなかった時のことは何も言っていないので、その時は帰結（＝Q）が成立しようがしまいがどっちでもいい

同値　　PとQは等しい　p≡q または(p⊃q)∧ (q⊃p)

33　基本的な用語の確認
命題記号、論理記号、否定子、結合子（演算子の一種）、論理式など

56 記号の意味を考慮せず、記号相互の導出関係、記号変形の規則のみを考察する仕方を「構文論」という。←おれがやりたいこと！

57 命題論理の公理系（p49）は、トートロジー(p37)を導出することを念頭に置きつつつくられた記号ゲーム。

2025/02/22

2025年2月22日、YouTubeで「本を読むこととお金持ちになること」と検索して出たショート動画「保存必須！賢くなれる本3選」のコメ欄で、皆がおすすめしてた本。

コメ欄より：野矢茂樹先生の論理学も良かったよ^^

https://youtu.be/zW1jx6LS4ko?si=EpTXRbzGwUm9u9fN