<과제 1>

다음 질문들에 답하시오.

◆영철은 린다의 남편인가?

- 알 수 없다. 주어진 Fact 에서는 린다가 여자이고, 영철 보다 나이가 적고, 프랭크의 어머니라는

사실만 주어질 뿐…영철이 린다의 남편이라고 단정 짓기에 Fact 가 부족하다.

◆누가 철수의 아내인가?

-은영. X 가 Y 의 남편이면 Y 는 X 의 아내라는 Rule 을 적용하면 사실에서 철수는 은영의 남편이라고

주어졌기에 은영은 철수의 아내일 것이다.

◆프랭크의 부모는 누구인가?

-아버지는 알 수 없고, 어머니는 린다이다.

프랭크의 아버지가될 가능성이가장 높은 철수를 린다와 부부라는 명제를 만들어 린다는 프랭크의

어머니다 라는 명제와 역, 이, 대우를 비교 하면 진리값 F T 일때의 결과값과 같기 때문에 린다가

철수의 아내라는 명제는 거짓이 되기 때문에 철수는 린다와 부부가 아니고 프랭크의 부는 철수가

아니게된다.

◆영식의 삼촌은 누구인가?

-영철이다. 영식은 철수의 아들이고, 영철과 철수는 형제이므로, 영철은 영식의 삼촌이다.

◆모든 삼촌들을 나열하시오.

-사실에 의해 명확한 주체는 영식과 영희이고, 영식과 영희의 삼촌은 영철이다.

영식,영희가 영철의 조카이고, 영철이 남자이므로, 영철은 삼촌이다.

◆철수는 린다보다 나이가 많은가?

-알 수 없다. 형인 영철보다 린다의 나이가 작지만 동생 철수와 비교했을 때 누가 더 많은지 알 수 없기

때문에

◆철수는 어머니는 누구인가?

-철수는 은영의 남편이자, 영식,영희의 아버지이고, 영철과는 형제이다.

린다는 프랭크의 어머니, 은영은 영식,영희의 어머니이다.

<과제 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 의 아버지이다.