二項述語・2変数命題関数の真理集合

二項述語・2変数命題関数の真理集合を更新。