이산 수학의 논리 적 판단 문제 한 세미나 에서 세 명의 참석 자 는 왕 교수 의 말투 에 따라 그 가 어디 사람 인지 판단 했다.갑 은 왕 교수 가 소주 사람 이 아니 라 상해 사람 이 라 고 말 했다.을 은 왕 교수 가 상해 사람 이 아니 라 소주 사람 이 라 고 말 했다.병 교 수 는 왕 교수 가 상해 사람 도 항주 사람 도 아니 라 고 말 했다.상기 3 명의 판단 을 들 은 후에 왕 교 수 는 그들 세 사람 중 한 사람 이 모두 옳다 고 말 했다.한 사람 은 반 을 맞 혔 다 고 말 했다.다른 사람 이 말 한 것 은 모두 틀 렸 습 니 다.논리 알고리즘 을 사용 하여 왕 교수 가 어디 사람 인지 분석 하 세 요.(상세 한 과정 을 제공 하 세 요.)

이산 수학의 논리 적 판단 문제 한 세미나 에서 세 명의 참석 자 는 왕 교수 의 말투 에 따라 그 가 어디 사람 인지 판단 했다.갑 은 왕 교수 가 소주 사람 이 아니 라 상해 사람 이 라 고 말 했다.을 은 왕 교수 가 상해 사람 이 아니 라 소주 사람 이 라 고 말 했다.병 교 수 는 왕 교수 가 상해 사람 도 항주 사람 도 아니 라 고 말 했다.상기 3 명의 판단 을 들 은 후에 왕 교 수 는 그들 세 사람 중 한 사람 이 모두 옳다 고 말 했다.한 사람 은 반 을 맞 혔 다 고 말 했다.다른 사람 이 말 한 것 은 모두 틀 렸 습 니 다.논리 알고리즘 을 사용 하여 왕 교수 가 어디 사람 인지 분석 하 세 요.(상세 한 과정 을 제공 하 세 요.)

설 명제 p:왕 교 수 는 소주 사람 이다.