안녕하세요. 반갑습니다.
7번 문제에 관해 질문하셨네요.

이 문제를 공식으로 푼다면 다음과 같습니다.
달리기 좋아하는 사람을 ○
기숙사에 사는 사람을 △
통근하는 사람을 □로 놓으면
전제 1은 ○주연 △부주연 긍정문
전제 2는 □주연 △주연 부정문의 구조입니다.
따라서 결론은 달리기를 하는 사람과 통근하는 사람으로 구성된 명제이어야 하는데
1, 3번 선택지는 이 개념으로 구성된 명제이고
2번, 5번 선택지는 달리기 X가 앞에 있지만
2번은 어떤의 수식을 받으므로 앞, 뒤 개념을 바꾸어 표준화하면
어떤 통근을 하는 사람은 달리기를 좋아하지 않는다가 되고
5번은 모든의 수식을 받으므로 대우처럼 바꾸어 표준화하면
모든 통근을 하는 사람은 달리기를 좋아한다가 되어
모두 달리기를 하는 사람과 통근하는 사람으로 구성된 명제가 됩니다.

하지만 4번 선택지는 통근 X가 앞에 있는데
모든의 수식을 받으므로 대우처럼 바꿀 수밖에 없는데
대우처럼 바꿔도 다시 달리기 X가 앞에 나오므로 격에 맞지 않습니다.
따라서 4번은 답이 될 수 없습니다.

한편 전제 1이 긍정문, 전제 2가 부정문이므로 결론은 부정문이어야 하는데
1번, 3번, 5번 선택지는 긍정문이기 때문에 답이 될 수 없습니다.

따라서 2번 선택지만 남게 되는데
2번 선택지는 공식에 어긋나지 않기 때문에 답이 될 수 있습니다.

한편, 전제 2개와 결론으로 이루어져있으며
세 명제가 모두 정언 명제인 경우는 공식으로 풀 수 있지만
전제가 3개 이상인 경우이거나
각 명제가 정언명제가 아닌 경우는 공식을 이용할 수 없습니다.

이해에 도움이 되기를 바랍니다.
그럼 파이팅입니다. ^-^