二項述語・2変数命題関数の集合表現

二項述語・2変数命題関数の真理集合等の項目を作成、アップロード。