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

질문 내용에 개념 설정과 선택지의 판단을 어떻게 하셨는지
정확히 나타나지 않아 검토해드릴 수는 없으나
이 문제를 정언적 삼단논법의 타당성 검증이론을 이용하여,
공식에 맞지 않는 선택지를 제거하는 방법으로 해결하는 것도 가능합니다.

그런데 일반적으로는
결론을 찾는 문제는 벤다이어그램을 한 번만 그리면 되기 때문에
벤다이어그램을 이용해서 문제를 해결하는 것이 편하고
전제를 찾는 문제는 벤다이어그램으로 푸는 것이 다소 번거로울 수 있기 때문에
공식으로 해결하는 방법을 이용하기도 한다는 점 아울러 말씀드립니다.

이해에 도움이 되었으면 합니다.
그럼 파이팅입니다. ^-^