マガジンのカバー画像

どろぼう猫の命題論理学入門

4
命題論理学の入門書。 『“白い”ねこのーと』で用いられる論理式の流儀と完全対応しているので、同著を読む際にも役立つと思います。
運営しているクリエイター

記事一覧

はじめに

本書は、「『論理』って、なんか難しそうだ、ただ思考の過程を記述するようなイメージがあるけ…

3

入門1.命題

まずは、『命題』というものについて話しておかなくてはならない。 命題について辞書をひく…

1

入門2.推論と妥当性

端的に言って、論理学は『推論の妥当性』ないし『命題の恒真性』を考える学問である。そして、…

2

入門3.真理関数

基本的な論理結合子を、本書では次のように真理関数的に定義する。 ∧: A と B が共に ⊤ で…

5