taizooo https://blog.hatena.ne.jp/taizooo/ copy and destroy https://copyanddestroy.hatenablog.com/ 日記の練習 tsundoku mountain 日記の練習です。次、いってみよう。金子洋之『記号論理入門』。『入門！論理学』の「おわりに」で次に読むべき本としてあげられていた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… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcopyanddestroy.hatenablog.com%2Fentry%2F2024%2F04%2F24%2F091846" title=" - copy and destroy" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://i.gyazo.com/thumb/1000/20235f07dd6786e141e8be41e0170e5a-jpg.jpg Hatena Blog https://hatena.blog 2024-04-24 09:18:46 rich https://copyanddestroy.hatenablog.com/entry/2024/04/24/091846 1.0 100%