日記の練習です。次、いってみよう。
金子洋之『記号論理入門』。『入門！論理学』の「おわりに」で次に読むべき本としてあげられていた2冊(3冊?)のうちの1冊。『入門！論理学』と繋がっていて、論証と証明に重点、「自然演繹」を扱う、とのこと。いよいよ論理記号(∀, ∃, ¬, ∨, ∧, ⇒, ⊢*1 *2 *3*4 )が出てくる。
*1:⊢ はターンスタイル、シークエントと呼ぶらしい
*2:論理記号の一覧 - Wikipedia https://ja.wikipedia.org/wiki/%E8%AB%96%E7%90%86%E8%A8%98%E5%8F%B7%E3%81%AE%E4%B8%80%E8%A6%A7#%E5%9F%BA%E7%A4%8E%E7%9A%84%E3%81%AA%E8%AB%96%E7%90%86%E8%A8%98%E5%8F%B7
*3:シークエント - Wikipedia https://ja.wikipedia.org/wiki/%E3%82%B7%E3%83%BC%E3%82%AF%E3%82%A8%E3%83%B3%E3%83%88
*4:「∃」「⊢」の読みを知りたい。 | レファレンス協同データベース https://crd.ndl.go.jp/reference/entry/index.php?id=1000292373&page=ref_view
