1. <과제 1>
다음 질문들에 답하시오.
◆영철은 린다의 남편인가?
- 알 수 없다. 주어진 Fact 에서는 린다가 여자이고, 영철 보다 나이가 적고, 프랭크의 어머니라는
사실만 주어질 뿐…영철이 린다의 남편이라고 단정 짓기에 Fact 가 부족하다.
◆누가 철수의 아내인가?
-은영. X 가 Y 의 남편이면 Y 는 X 의 아내라는 Rule 을 적용하면 사실에서 철수는 은영의
남편이라고 주어졌기에 은영은 철수의 아내일 것이다.
◆프랭크의 부모는 누구인가?
-아버지는 알 수 없고, 어머니는 린다이다.
프랭크의 아버지가될 가능성이가장 높은 철수를 린다와 부부라는 명제를 만들어 린다는 프랭크의
어머니다 라는 명제와 역, 이, 대우를 비교 하면 진리값 F T 일때의 결과값과 같기 때문에 린다가
철수의 아내라는 명제는 거짓이 되기 때문에 철수는 린다와 부부가 아니고 프랭크의 부는 철수가
아니게된다.
◆영식의 삼촌은 누구인가?
-영철이다. 영식은 철수의 아들이고, 영철과 철수는 형제이므로, 영철은 영식의 삼촌이다.
◆모든 삼촌들을 나열하시오.
-사실에 의해 명확한 주체는 영식과 영희이고, 영식과 영희의 삼촌은 영철이다.
영식,영희가 영철의 조카이고, 영철이 남자이므로, 영철은 삼촌이다.
◆철수는 린다보다 나이가 많은가?
-알 수 없다. 형인 영철보다 린다의 나이가 작지만 동생 철수와 비교했을 때 누가 더 많은지 알
수 없기 때문에
◆철수는 어머니는 누구인가?
-철수는 은영의 남편이자, 영식,영희의 아버지이고, 영철과는 형제이다.

2. 린다는 프랭크의 어머니, 은영은 영식,영희의 어머니이다.
<과제 2>
“X 는 Y 의 사촌이다.”의 결론을 만들 수 있는 규칙들을 추가하시오.
-고종 사촌일 때
만약 A 가 X 의 아버지이고 C 와 A 가 남매이면, X 는 C 의 조카이다.
만약 X 가 C 의 조카이고 C 가 여자이면, C 는 X 의 고모이다.
만약 Y 가 C 의 아들 혹은 딸이고 C 가 여자이면, C 는 Y 의 어머니이다.
-이종 사촌일 때
만약 A 가 X 의 어머니이고 C 와 A 가 자매이면, X 는 C 의 조카이다.
만약 X 가 C 의 조카이고 C 가 여자이면, C 는 X 의 이모이다.
만약 Y 가 C 의 아들 혹은 딸이고 C 가 여자이면, C 는 Y 의 어머니다.
-친사촌일 때
만약 A 가 X 의 아버지이고 C 가 A 와 형제이면, X 는 C 의 조카이다.
만약 X 가 C 의 조카이고 C 가 남자이면, C 는 X 의 삼촌이다.
만약 Y 가 C 의 아들 혹은 딸이고 C 가 남자이면, C 는 Y 의 아버지이다.
-외사촌일 때
만약 A 가 X 의 어머니이고 C 가 A 와 남매이면, X 는 C 의 조카이다.
만약 X 가 C 의 조카이고 C 가 남자이면, C 는 X 의 외삼촌이다.
만약 Y 가 C 의 아들 혹은 딸이고 C 가 남자이면, C 는 Y 의 아버지이다.