日記の練習です。次、いってみよう。金子洋之『記号論理入門』。『入門!論理学』の「おわりに」で次に読むべき本としてあげられていた2冊(3冊?)のうちの1冊。『入門!論理学』と繋がっていて、論証と証明に重点、「自然演繹」を扱う、とのこと。いよいよ論理記号(∀, ∃, ¬, ∨, ∧, ⇒, ⊢*1 *2 *3*4 )が出てくる。gyazo.com *1:⊢ はターンスタイル、シークエントと呼ぶらしい *2:論理記号の一覧 - Wikipedia https://ja.wikipedia.org/wiki/%E8%AB%96%E7%90%86%E8%A8%98%E5%8F%B7%E3%81%AE%E…