あしたまたここに来るやで〜。公理的集合論をやるには若干一階述語論理のお作法が必要になってくるから、それの紹介といこか〜。∨と∧と→の記号を導入しよか。こいつらは引数に論理式を持ってくるで〜。¬が一個の論理式を引数にもつのと違って、こいつらは二つ持つんや。「φまたはψ」「φかつψ」「φならばψ」という感じやな〜。これは項xにくっつくんや。∀xφ(x)や∃xφ(x)と書かれるな〜。ID:HDy主これが整えば公理的集合論の準備はええな。あとで公理を紹介していくやで〜。ID:HDy主ちとその前に、論理式について訓練してみよか。して、それぞれの論理式について書き下してみよか。∀xφ(x)は「任意のxは魔法少女である」やな。これは気持ち的には「みんな魔法少女」とおんなじや。∃xφ(x)は「あるxは魔法少女」という意味やな。気持ち的には「魔法少女が存在する」やで。どこかに最低でも一人魔法少女がおればええんや。明示された項全てに量化子がくっ付いている論理式のことを「閉論理式」というんや。数学で出てくる論理式は閉じた論理式が多いな。閉論理式を文とも呼ぶで。翻って、量化子がない論理式のことを「開論理式」というんや。量化子やが、こいつは入れ子になるとちょいと曲者でな。y)を「xはyを愛する」という述語にしよか。述語っちゅーのは項を引き渡すと命題になる機械やと思うてくんなはれ。ID:HDy主こういう文に出会したときは「量化子を前から読んでいく」ことが鉄則や。都合のいいように入れ替えたりしたらあかんで〜。ID:HDy主1やな。これはつまり「誰しも愛する人がいる」っちゅーことや。