数学で対偶ってならうやろ
証明で
正、偽、待遇