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. + $ - % *& $ & , * '" " %
& , * + $% & '" $ - % .