「逆」と「裏」と「対偶」

命題「AならばB」（因果関係）に対し、
逆：「BならばA」
裏：「AでないならBでない」
対偶：「BでないならAでない」 

http://izumi-math.jp/S_Yoshida/matome/sa_taiguu.pdf