>>2
命題:板違いだから排除
とした場合
 逆:排除されたら板違い
 裏:板違いではないから排除しない
対偶:排除されないから板違いではない

と、これでいいのかな?