Le document semble être une compilation de structures de données et de relations entre des entités, probablement destinées à un traitement ou une représentation en logique. Il fait référence à des concepts tels que la parenté, le genre et des liens entre différents individus. Il utilise une notation spécifique pour exprimer les relations et conditions, suggérant une base pour un système de gestion de connaissances ou de règles.

1. 20
3:
3.4:
! "
!
"
!
" #
$ % ! #
&
" '
! "# !"#
. # $% &
$ $ '
(-)
$ $ ' (
)** *" $ + & $ " " +, &
, * $ $ - + * . #/ . ) / * . .
$ $ '
)** *" $ * , & $ " %* &. 0 "
*&, * / * $ % * * .
! "# !"#
$ +, + * - * % $ " . 1 " &
$ " * & * " $ &:
0 & + *" $ $% ' ($.,. .$ ) 0
$ & - 0 & *,+* . + . ($.,. + , ' -% . $.)
0 - * & $ * & + *
* - : - * & $ *
* .
0 & *" $ $% % , % ' 0 & % & *" $
0 2 & $ * $ & *& '+ &
$ & 0 & .
B. 3 .
1. $ &* + $% $ % %*
! "# !"#

2. B. 3 .
1. $ &* + $% $ % %*
1. #" $ ' ' + .
$! "# !"#
' : 0 & /
)** :
• 1 *" $ 0 *" % . :
| |={tom, pam, john, jil, erwin, kate, tina, alison,
ethan, audrey, annette, thomas, tess, brian}
• 0 . father(x,y)
mother(x,y) " & x
$ + ( * , + ) & % & y.
0 " * . $ " &
- * ' $ %
% '+ ' . #& + tom,pam
+, & $ ' & john,erwin,tina, john,jil
+, & $ ' & alison,audrey
erwin,kate +, & $ ' &
annette,thomas,tess.
• 0 : male(x)
" * * + tom, john,
erwin, ethan, thomas, brian %
female(x) " *
* + pam, jil, kate, tina, alison, audrey,
annette, tess.
tom, pam
john, jil erwin,kate tina
alison,ethan audrey annette thomas tess
brian
& $ * '& %
, * $ * & % . % .
. * + * $ * -
.
B. 3 .
1. $ &* + $% $ % %*
2. #" $ ' ' + . ( ' )
%! "# !"#
* * 1: - 0 & % & $ * *
$ - * * /!:
1.
2.
3.
4.
5. ]
6. ]
B. 3 .
1. $ &* + $% $ % %*
1. #" $ ' ' + . ( ' )
&! "# !"#
* * 2: - * % & $ * * +$ $ - * *
/!:
1.
2.
5. ]
6.
B. 3 .
1. $ &* + $% $ % %*
1. #" $ ' ' + . ( ' )
'! "# !"#
* * 3: * & * % & *& - :
1. *& - (x) " x +, & .'" $ ' .
2. *& - siblings(x,y) " x,y '+ -
3. *& - uncle(x,y) " x & % & y
4. *& - parent(x,y) " x + & y.
5. *& - grandparent(x,y) " x $ $$ "
& % & y.
6. *& - is_uncle(x) " x
7. *& - is_parent(x) " , + .

3. B. 3 .
1. $ &* + $% $ % %*
1. #" $ ' ' + . ( ' )
(! "# !"#
* * 4: , * . $ $ . *& - ) * & * % & $ *
+$ $ - * *
1. ' .
2. 4$ , $ $ & $ $$ " .
3. ' - alison .
4. '+ - & brian +, & '" $ ' .
5. 4$ , ' % $ & +, & .'" $ ' .
6. 4$ , & 5) '" $ & +, & & .'" $ '
B. 3 .
1. $ &* + $% $ % %*
2. #" $ $ **% ' ' + .
)! "# !"#
• # $ * * :
• &$ % *" $ $ 5 % * , .
• *" $ ' 0 % &!
• % +*. . ($ & 0 * -) * ) 0 & +*. ' % $ &
$ +$ $ " 5 $ & ' * +& & $ * '
• #& " $ % % :
• $ * ' &$ , *& '+ $ * *& . % :
!
• $ * ' *& '+ $ * *& . *& $ . :
" !
' :
• 0 * -) * % K(x) " o x 0
- 0 & $ % * - «4$ , $ (+, ' % )».
- $ % * :
# $%$&'(')
• 0 * -) * % (x) " o x &$ * 0
- 0 & $ % * - « &$ * (+, ' % )». -
$ % * :
* " $%$&'(')
B. 3 .
1. $ &* + $% $ % %*
2. #" $ $ **% ' ' + . ( ' )
))! "# !"#
* * 5: 6* . 7(x), (x), (x,y) , #(x,y) « x - »,
« x * ", - », « x . 0 y», « x + *& * y»,
* , .
2 * -&* )** % . % & . "$. :
1. + , " - . , /
2. 0 , + " . , /
)* $ * * $ & - 0 & % . $ .
' &$)* . . ) :
1. - + $ & * ", ' + & *& * " + - .
2. '" - + ' . 0 + & *& * " /" & , % &
' * ",
B. 3 .
1. $ &* + $% $ % %*
2. #" $ $ **% ' ' + . ( ' )
)! "# !"#
* * 6: 6* . C(x), S(x), P(x), T(x,y), E(x,y) , F(x,y) « x
», « x - », « x », « x ' ' * y», « x
$ & y», « x y - »
2 * -&* )** % . % & . "$. :
1. 1 , 2 / 3 " 4 5 / 6 7 , 6
2. 8 , 1 " 7 / ,
)* $ * * $ & - 0 & % . $ .
' &$)* . . ) :
1. $ +$ ' ' * & , * '" ' -
2. $ - $ & % % % & - .

4. B. 3 .
1. $ &* + $% $ % %*
3. #" $ . - )
)! "# !"#
• # $ * * &$ , $ $ .* ' . *" $ +
.
• ' - * *,+* *" $ . -&* ) % * & &
" : {…,-2,-1,0,1,2,…}
• &$ , , * * ,
• / & % % ' &$ , + * * , .
• $ * '+, *" $ 0 % $ .
• # & $ " " :
• * * 0 " ) &$ , $ + % $ %
% .
• # * & -&* " " , $ & * * 0 "
-&* ) ' &$ , $ -&* % .
• # & $ " * * 0 " $ ) , &$ , $
+ $ % % .
. * *
. * 1
)! "# !"#
9 " 9 9
1. "$ " * *" . -&* ) %$ & P(x,y) * % x
' $% y.
2. "$ " * *" . $ ) R %$ & P(x,y) * %
x<y.
3. "$ " * *" . . 8 %$ & P(x,y) * % x<y.
4. "$ " * *" . -&* ) %$ & P(x,y) * % x<y.
. * *
- 1
)$! "# !"#
6* . (x), E(x), (x), B(x) 3(x,y) « x
' % », « x * + », « x $ % », « x 5 & & » «
x & 0 y». )* "$ & & " * " $ & - 0 &
% & $ * :
1. ' % $ & $ 5 & & + .
2. ' % & 0 & % * .
3. 9 * & 0 & % * .
. * *
- 2
)%! "# !"#
6* . CS(x), M(x) , OS(x) , Uses(x, y), Likes(x, y) «
x $ - % », « x % », « x & % *"* », « x
, * $ y », « x *& $ y ».
1. / * * -&* )** - 0 & $ . "$ :
: 4; <; " => >
? 4; * " <; => >
2. )* "$ & $ & - 0 & % & $ * :
1. $ - ' *& $ " + %
2. $ - % ' *& $ + %.
3. + $ - % *& $ & , * '" " %
& , * + $% & '" $ - % .