日記の練習です。『入門！論理学』、「すべて(全称)」と「存在する(存在)」が出てきて、これを「命題論理」に対して「述語論理」と呼んで、「あ、『述語』ってそういう意味か」という気づきがあった。 「『すべて』と『存在する』の推論」p.194 より 私のア…