2011年7月24日日曜日

n項述語・n変数命題関数の真理集合・集合表現

を作成、アップロード。