2009-04-03 ∀と∃が苦手 雑感 述語論理というか全称と存在を含む論理式が苦手なんだよなぁ。 野矢茂樹の「論理学」をちゃんと読み始めたら克服したい。 よく練習問題で「否定を作れ」みたいのがあるけど、あのレベルで躓いてるみたい。