CPSC 121: Models of Computation Unit 5: Predicate Logic

!" #$$%
&'()
*!" +$$
,*-
.%*.%-
,*.
%*%-
/*)
%.*%-
/*#
%-*%
0 * ""
,1
1%
2
" 34%%*
5153
'6%
2
" 34%%*5
153'6%
"2
'1 4%%*2 3 '6%
7(
"8
9 2
*%
:'21
;+<2";:"
" %
=>
21;:"
" 11%
?2
:
'2
"52
328%
0@A'
?
?
?
?
?
128%
?1
228%
D2222
1
%
?
?
?
?
?
B2211
2>
C
?
?
?
B2
2
2
"C
?
? 2'E
?
?
?
0 * ""
0
""2
1"F
%
"
:2
8G1 1
21 1H
8G
*1"
"2$
H%
1
,3
3
1
%
3
%
@
C
?2
1 C
6/ 4%%*G2" H
G2
H"
6%
"6=2""%
6A(3"8G1 8 H%
6@
1 %
6@
1 %
?
C
/:2
"F%
A("
@
A *"2
**
%
,3
=,1 8 "
D8 D%
D13
1" 1""%%%
="
"
%
2*1 '1*
I$%
7
'1 *
46GH
%
,3
74
6
?2
3J* J*3K ,14 6C
6463J* J*3K ,14
"6436J* J*3K ,14
6 43J6* J*3K ,14
643J* J*3K 6,14
643J* J*3K ,14
6
6
6
6
66
D
?2
L3JM* JM*3K ,14 6C
64L63JM* JM*3K ,14 6
"64L4366JM* JM*3K ,14 6
6 4L43JM66* JM*3K ,14 6
64L43JM* JM*3K 66,14 6
64L43JM* JM*3K ,14 666
?
"2
C
6
'*
"1
%
"6>2*2
>%
6
"
1"*"
%
6 *
%
6D"1%
?1"
>
C
JM*4N6OL1JM*B94**16
6
1
"6
6
1
6
6D%
1
3
3
1
%
3
%
A1
!
%
,436
3%
2%
8%
46?= %
,3
,
28%
82
%
A1
!4363%
4363
46%
1 %
4363
8
=%
43* 63G
H %
,3
%
8%
A12
4 '16
%
? 2
22C
,32,
3=* =*43* 6
3=* =*43* 6
A132
*
%
1
,3
3
1
%
3
%
=
1%
" 46%
" 4:6%
4:$6%
:
C
?
C
%
:12 %
"
=
4621
:
%
?
:%
4:6
1
1*'46%
/4:$6*>
4:4:4666%
?25"2
C
46PDFD4:6Q4:F6Q
1K1F
6'%
"6'1
1F%
6?Q24:6
4:F6
6046
4"6
604"6
46
?2"2
C
46PDFDKFR4:6K
4:F6
6@14
2'16%
"6@
F%
6@'%
6046
4"6
604"6
46
B2
2
1
28
C
46PDFD
KFR4:6K4:F6
3%
B2
223 C
13 1
3%
=
3 P
%
2 P3=* =*
4364 6R3S %
2P3=* =*3T 436
4 6%
22,22
21 3 %
B21" 2
8
184"
6
%
G22""2
*28*
28
%H::,*4.
6*%$):$#
1
,3
3
1
3
?
"
C
B8
22 2
'(
!1555
8
%
0 F
" 2 *
" %12
%
1 %
?
" C
=1"
52%
*222 "
" %2*
%
F*82
*"
2
1
2 % "F1
" "
U U"2
%
2"
A1
2"%
?2
"1D%
? C
8%@>D*8
%
*%
08
%@D
" *
0%@*
%/ 1
D%
/
8
1%
/
18$1%
!2
8VS2%
08V$S$2%
!2).
8).VS.2%
08#V$S$2%
!2$-;#
8$-;#VS
.)
2%
08V$S..$2%
B2
2
2
C
?22
*
2 %
' %
3
%
&
" (%
"
*
*
%
@2.2)
C
6W*2 %
"6D*1%
6%
6D"1%
,3
)2 4 )26
.2
4 .26
?C
!"3
2 1
""%
>""
3 %
222
2 %
3"%
&46*
G":&H*343 6
46%
,3
&46%
0&46%
2
" "
&46%
>22
&'%
?2
"4643 6C
6/MD46X
"6/MD46X
6/MD46X
6/MD46X
6D"1%
!2246
1
C
646S
"646S5
646S.
646S
6046
4"6
6 46*4"6*46
646*4"6*46
4
6%
?222C
646S
"646S
6DY "2' %
@2
46SC
/MD46X
6W
"6D
@2
46SC
/M$DDN$R46X
6W
"6D
2
&46" &46
/M$DDN$R46X46
$
/1
/
@21 *2
22
C
2
"C
B
46PD
4$X6Q4K46:6R4:6X4:F6
2
'1%
@21 *2
22
C
1
,3
3
1
3
"15
8
13
G
3"'*
'3%
=
4361
3% 1
Z3Z 3
1
4* 536%