かじもとにっき

ゆるふわなおはなしをかきます

2014-07-16から1日間の記事一覧

2項関係(20)

定理 。 証明 と仮定する。 より。また、 であり、 。以上より、 。 定理 。 証明 と仮定すると、と先の定理を合わせてが成り立つ。 逆に、とを仮定すると、対偶と推移律によりが成り立つ。 定義 定義 定義 証明 を示す。は先の定理から明らか。 逆に、を仮…

2項関係(19)

定理 shunting 。 。 。 。 定理 。 。 定理 。 。 参考文献 Relational Mathematics (Encyclopedia of Mathematics and its Applications) Relations and Graphs: Discrete Mathematics for Computer Scientists (Monographs in Theoretical Computer Scien…