排反事象の加法ルール