3日目 反射律 BがAの部分集合ならA→B 増加律 A→BならA∪C→B∪C 推移律 A→BかつB→CならA→C 合併律 A→BかつA→CならA→B∪C 擬推移律 A→BかつB∪C→DならA∪C→D 分解律 A→B∪CならA→BかつA→C

id:umiumiumiさんより http://d.hatena.ne.jp/umiumiumi/20050208#p3 Javaで四捨五入が簡単にできたんだ。たまに使うし。