Core Concepts
주어진 자연어 맥락에 기반하여 소가 소를 쫓는지 여부를 논리적으로 추론할 수 있다.
Abstract
이 내용은 고양이, 소, 토끼, 호랑이 간의 관계에 대한 논리적 추론 문제를 다룹니다.
주요 내용은 다음과 같습니다:
고양이는 푸르고 착하며, 소와 토끼를 좋아하고 필요로 한다.
소는 토끼를 필요로 하지 않지만 호랑이를 필요로 한다.
토끼는 둥글고 호랑이는 착하지만 소를 좋아하지 않는다.
고양이를 좋아하고 쫓는 사람은 푸르다.
소를 좋아하고 빨간 사람은 소가 둥글다.
호랑이와 고양이를 필요로 하는 사람은 소를 쫓지 않는다.
고양이가 푸르고 고양이를 필요로 하는 사람은 고양이가 빨갛다.
둥근 사람은 고양이를 필요로 한다.
고양이를 좋아하고 토끼를 필요로 하는 고양이는 호랑이를 쫓는다.
토끼가 호랑이를 필요로 하면 토끼는 둥글지 않다.
이러한 정보를 바탕으로 "소가 소를 쫓는다"는 명제가 참인지 거짓인지 논리적으로 추론할 수 있습니다.
Stats
소가 소를 필요로 한다: Needs Cow Cow
소가 토끼를 필요로 하지 않는다: ¬ Needs Cow Rabbit