[형식논리학] 다음 진술들이 참일 때, 반드시 참인 것은?
범인의 머리카락이 갈색이거나 키가 크다.
만약 범인의 머리카락이 갈색이라면, 그는 안경을 쓴다.
범인은 안경을 쓰거나 왼손잡이다.
만약 범인의 머리카락이 갈색이라면, 그는 안경을 쓰지 않는다.
만약 범인이 안경을 쓰지 않는다면, 그는 키가 크지 않다.

1. 범인은 왼손잡이고 키가 크다.
2. 범인은 키가 크고 안경을 쓴다.
3. 범인은 안경을 쓰고 왼손잡이다.
4. 범인의 머리카락이 갈색인지는 확실히 알 수 없지만 키는 크다.
5. 범인이 왼손잡이인지도 확실히 알 수 없고 키가 큰지도 확실히 알 수 없다.