명제의 대우를 생각해보면, 'a ≠ lπ/2 이고, b ≠ nπ/2 이면, a + b ≠ mπ/2 이다' 입니다. 이에 대한 반례를 생각해보면, a = b = 3π/4 이면, a ≠ lπ/2 이고, b ≠ nπ/2 라는 조건을 만족함에도 불구하고, a + b = 3π/2 가 되어, a + b ≠ mπ/2 라는 결론을 만족하지 못하게 되므로, 처음 명제의 대우인 'a ≠ lπ/2 이고, b ≠ nπ/2 이면, a + b ≠ mπ/2 이다' 가 거짓이라는 것을 알 수 있습니다. 따라서 처음 명제인 'a + b = mπ/2 이면, a = lπ/2 또는 b = nπ/2 이다' 는 거짓이 됩니다.