> (p + p) → p
> p → (p + q)
> (p + q) → (q + p)
> (p → q) → ((r + p) → (r + q))

命題論理学ってやつか？
だいぶ離れてたからわけわかんね

参考：2004/04/12(月)02時10分18秒