マガジンのカバー画像

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

4

本

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

運営しているクリエイター: どろぼう猫

入門3.真理関数

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

どろぼう猫

5年前

5