論理演算で組み合わせた二項述語・2変数命題関数から集合へ

論理演算で組み合わせた二項述語・2変数命題関数から集合へのノートのメンテ。