초록 사과가 대우 명제의 양성 사례를 거쳐 원래 가설로 이어지는 추론 경로다.

그림에서 무엇을 볼까요?

생각그림 6 · 초록 사과가 대우 명제의 양성 사례를 거쳐 원래 가설로 이어지는 추론 경로다.

초록 사과 a는 검지 않으므로 ¬B(a)이고 까마귀가 아니므로 ¬R(a)다. 대우 명제 “검지 않은 것은 까마귀가 아니다”에서 사과는 선행조건과 결과를 모두 만족한다. 니코식 충분조건을 이 표현에 적용하면 사과는 대우 명제를 확증한다. 동치 조건에 따르면 대우 명제를 확증하는 증거는 원래 가설 H도 확증해야 한다. 그래서 초록 사과가 “모든 까마귀는 검다”를 뒷받침한다는 놀라운 결론이 나온다.