고1 수학

​

​

1. (나)에 대한 귀류법을 이용한 증명의 가설을 설정할 때, 가영이가 마피아라 가정합니다. 그러면 (나)에 대한 가정은 "가영이는 마피아다"입니다.

​

가정에 따라 (다)에 대한 가정은 "다영이는 마피아가 아닌 경우"가 됩니다. 따라서 (나)에 대한 가정에 따른 (다)에 대한 가정은 "다영이는 마피아가 아닌 경우"입니다.

​

그러나 주어진 조건에서 "(다) 다영이가 마피아가 아니면 나영이가 마피아가 아니다"라고 주어진 것을 생각해보면, (다)에 대한 가정이 "다영이는 마피아가 아닌 경우" 가정이므로 결론을 도출할 수 있습니다. 즉, (나)에 대한 가정인 "가영이가 마피아다"는 거짓이 되어야 합니다.

​

따라서, (나)에 대한 정확한 결론은 "가영이는 마피아가 아니다"입니다.

​

2. (다)에 대한 귀류법을 이용한 증명의 가설을 설정할 때, 다영이가 마피아가 아닌 경우라고 설정합니다. 그러면 (다)에 대한 가정은 "다영이는 마피아가 아니다"입니다.

​

주어진 조건에서 "(나) 가영이가 마피아면 나영이가 마피아다"라고 주어진 것을 생각해보면, (다)에 대한 가정이 "다영이는 마피아가 아닌 경우" 가정이므로 결론을 도출할 수 있습니다. 즉, (나)에 대한 가정인 "가영이가 마피아다"는 거짓이 되어야 합니다.

​

따라서, (다)에 대한 정확한 결론은 "다영이는 마피아가 아니다"입니다.

​

​

​

​