2013-01-13 第III部 論理をもう１つの目で見る ぱらぱらめくる『論理学をつくる』 ぱらぱらめくるシリーズ 論理学 目次 第９章 自然演繹法を使いこなそう 第10章 シンタクスの視点からの論理学のゴールに迫る 第III章のまとめ 第９章 自然演繹法を使いこなそう タブローは機械的、自然演繹は「○から×を導け」であって、機械的にできない(？） 注：場合分け対策が難しい、ということ？迷路で試行錯誤しないで最短経路を選ぶことができない、ということ？ 第10章 シンタクスの視点からの論理学のゴールに迫る トートロジー集合の数え上げ… 「一度proofの存在を示してtheoremは図式として使おう」とは、「知識の階層化」ということ 第III章のまとめ
