“모든 까마귀는 검다”와 그 대우가 같은 진리조건을 가짐을 보였다.

그림에서 무엇을 볼까요?

생각그림 5 · “모든 까마귀는 검다”와 그 대우가 같은 진리조건을 가짐을 보였다.

고전논리에서 R→B와 ¬B→¬R은 대우 관계이며 서로 논리적으로 동치다. 따라서 “모든 까마귀는 검다”와 “검지 않은 것은 모두 까마귀가 아니다”는 가능한 모든 대상에 대해 같은 참·거짓 값을 갖는다. 하나가 참인 세계에서는 다른 하나도 참이고, 하나가 거짓이면 다른 하나도 거짓이다. 헴펠은 같은 내용을 가진 두 표현 가운데 어느 것을 택했느냐에 따라 확증 여부가 바뀌어서는 안 된다고 보았다. 이것이 동치 조건이다.