>>906
PならばQの逆は「QならばP」対偶は「QでないならばPでない」