조건 p, q가 각각 있고 p와 q의 부정을 각각 ~p, ~q라고 할 때

1. 명제 p → q가 참이다.

2. p ≠ q

이 경우

역 q → p 는 참이 아니다.

이 ~p → ~q 도 참이 아니다.

대우 ~q → ~p 는 참이다.

즉 어떤 참인 명제를 갖다줘도 그 명제의 대우는 똑같이 참이다.

이제 귀류법으로 '페도필리아는 아동성범죄자이다.'를 증명해보자.

1. 만약 '페도필리아는 아동성범죄자이다.'가 참이라면, 대우인 '아동성범죄자가 아니면 페도필리아가 아니다.'도 참이다.

2. 하지만 아동성범죄자가 아닌 페도필리아도 있을 수 있으므로, 대우가 참이 아니게 된다.

3. 고로 원명제도 참이 아니다.