2008-12-05から1日間の記事一覧

バリフリ心の復習

今日のバリフリ心の復習のかわりに、アッコ様の質問に応えてみます。A→A,A←Aは反射律、A→B,B→Aは対称律、そして、A→B,B→CならA→Cという推移律、更に、この3つがあって初めて等価律が言えるようになるのでしょうか? 「等価律とは反射律、対称律、推移律の3…