2011年8月1日月曜日

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

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