論理と集合の目次：述語の真理集合

論理と集合の目次。若干のリフォーム。二項述語・2変数命題関数の真理集合、n項述語・n変数命題関数の真理集合、ｎ項述語・n変数命題関数の集合表現へのリンクも追加。