%PDF-1.4
%
5 0 obj <<
/Type /Metadata /Subtype /XML
/Length 990
>>
stream
True
http://creativecommons.org/licenses/by-nc-sa/2.5/es/
Copyright 2006 Jose A. Alonso Jimenez. This Text is licensed to the public under the Creative Commons Reconocimiento-NoComercial-CompartirIgual 2.5 Spain License.
endstream
endobj
6 0 obj
<< /S /GoTo /D (chapter.1) >>
endobj
9 0 obj
(Sintaxis y sem\341ntica de la l\363gica proposicional)
endobj
10 0 obj
<< /S /GoTo /D (section.1.1) >>
endobj
13 0 obj
(Introducci\363n)
endobj
14 0 obj
<< /S /GoTo /D (subsection.1.1.1) >>
endobj
17 0 obj
(Panorama de la l\363gica)
endobj
18 0 obj
<< /S /GoTo /D (subsection.1.1.2) >>
endobj
21 0 obj
(Ejemplos de argumentos y formalizaciones)
endobj
22 0 obj
<< /S /GoTo /D (section.1.2) >>
endobj
25 0 obj
(Sintaxis de la l\363gica proposicional)
endobj
26 0 obj
<< /S /GoTo /D (subsection.1.2.1) >>
endobj
29 0 obj
(El lenguaje de la l\363gica proposicional)
endobj
30 0 obj
<< /S /GoTo /D (subsection.1.2.2) >>
endobj
33 0 obj
(Recursi\363n e inducci\363n sobre f\363rmulas)
endobj
34 0 obj
<< /S /GoTo /D (subsection.1.2.3) >>
endobj
37 0 obj
(\301rboles de an\341lisis \(o de formaci\363n\))
endobj
38 0 obj
<< /S /GoTo /D (subsection.1.2.4) >>
endobj
41 0 obj
(Eliminaci\363n de par\351ntesis)
endobj
42 0 obj
<< /S /GoTo /D (subsection.1.2.5) >>
endobj
45 0 obj
(Subf\363rmulas)
endobj
46 0 obj
<< /S /GoTo /D (section.1.3) >>
endobj
49 0 obj
(Sem\341ntica proposicional)
endobj
50 0 obj
<< /S /GoTo /D (subsection.1.3.1) >>
endobj
53 0 obj
(Valores y funciones de verdad)
endobj
54 0 obj
<< /S /GoTo /D (subsection.1.3.2) >>
endobj
57 0 obj
(Interpretaciones)
endobj
58 0 obj
<< /S /GoTo /D (subsection.1.3.3) >>
endobj
61 0 obj
(Modelos, satisfacibilidad y validez)
endobj
62 0 obj
<< /S /GoTo /D (subsection.1.3.4) >>
endobj
65 0 obj
(Algoritmos para satisfacibilidad y validez)
endobj
66 0 obj
<< /S /GoTo /D (subsection.1.3.5) >>
endobj
69 0 obj
(Selecci\363n de tautolog\355as)
endobj
70 0 obj
<< /S /GoTo /D (subsection.1.3.6) >>
endobj
73 0 obj
(Equivalencia l\363gica)
endobj
74 0 obj
<< /S /GoTo /D (subsection.1.3.7) >>
endobj
77 0 obj
(Modelos de conjuntos de f\363rmulas)
endobj
78 0 obj
<< /S /GoTo /D (subsection.1.3.8) >>
endobj
81 0 obj
(Consistencia y consecuencia l\363gica)
endobj
82 0 obj
<< /S /GoTo /D (subsection.1.3.9) >>
endobj
85 0 obj
(Argumentaciones y problemas l\363gicos)
endobj
86 0 obj
<< /S /GoTo /D (chapter.2) >>
endobj
89 0 obj
(Deducci\363n natural proposicional)
endobj
90 0 obj
<< /S /GoTo /D (section.2.1) >>
endobj
93 0 obj
(Reglas de deducci\363n natural)
endobj
94 0 obj
<< /S /GoTo /D (subsection.2.1.1) >>
endobj
97 0 obj
(Reglas de la conjunci\363n)
endobj
98 0 obj
<< /S /GoTo /D (subsection.2.1.2) >>
endobj
101 0 obj
(Reglas de la doble negaci\363n)
endobj
102 0 obj
<< /S /GoTo /D (subsection.2.1.3) >>
endobj
105 0 obj
(Regla de eliminaci\363n del condicional)
endobj
106 0 obj
<< /S /GoTo /D (subsection.2.1.4) >>
endobj
109 0 obj
(Regla derivada de modus tollens \(MT\))
endobj
110 0 obj
<< /S /GoTo /D (subsection.2.1.5) >>
endobj
113 0 obj
(Regla de introducci\363n del condicional)
endobj
114 0 obj
<< /S /GoTo /D (subsection.2.1.6) >>
endobj
117 0 obj
(Reglas de la disyunci\363n)
endobj
118 0 obj
<< /S /GoTo /D (subsection.2.1.7) >>
endobj
121 0 obj
(Regla de copia)
endobj
122 0 obj
<< /S /GoTo /D (subsection.2.1.8) >>
endobj
125 0 obj
(Reglas de la negaci\363n)
endobj
126 0 obj
<< /S /GoTo /D (subsection.2.1.9) >>
endobj
129 0 obj
(Reglas del bicondicional)
endobj
130 0 obj
<< /S /GoTo /D (section.2.2) >>
endobj
133 0 obj
(Reglas derivadas)
endobj
134 0 obj
<< /S /GoTo /D (subsection.2.2.1) >>
endobj
137 0 obj
(Regla del modus tollens)
endobj
138 0 obj
<< /S /GoTo /D (subsection.2.2.2) >>
endobj
141 0 obj
(Regla de introducci\363n de doble negaci\363n)
endobj
142 0 obj
<< /S /GoTo /D (subsection.2.2.3) >>
endobj
145 0 obj
(Regla de reducci\363n al absurdo)
endobj
146 0 obj
<< /S /GoTo /D (subsection.2.2.4) >>
endobj
149 0 obj
(Ley del tercio excluido)
endobj
150 0 obj
<< /S /GoTo /D (section.2.3) >>
endobj
153 0 obj
(Resumen de reglas de deducci\363n natural)
endobj
154 0 obj
<< /S /GoTo /D (chapter.3) >>
endobj
157 0 obj
(Sintaxis y sem\341ntica de la l\363gica de primer orden)
endobj
158 0 obj
<< /S /GoTo /D (section.3.1) >>
endobj
161 0 obj
(Representaci\363n del conocimiento en l\363gica de primer orden)
endobj
162 0 obj
<< /S /GoTo /D (subsection.3.1.1) >>
endobj
165 0 obj
(Representaci\363n de conocimiento geogr\341fico)
endobj
166 0 obj
<< /S /GoTo /D (subsection.3.1.2) >>
endobj
169 0 obj
(Representaci\363n del mundo de los bloques)
endobj
170 0 obj
<< /S /GoTo /D (subsection.3.1.3) >>
endobj
173 0 obj
(Representaci\363n de conocimiento astron\363mico)
endobj
174 0 obj
<< /S /GoTo /D (section.3.2) >>
endobj
177 0 obj
(Sintaxis de la l\363gica de primer orden)
endobj
178 0 obj
<< /S /GoTo /D (subsection.3.2.1) >>
endobj
181 0 obj
(Lenguaje de primer orden)
endobj
182 0 obj
<< /S /GoTo /D (subsection.3.2.2) >>
endobj
185 0 obj
(T\351rminos y f\363rmulas de primer orden)
endobj
186 0 obj
<< /S /GoTo /D (subsection.3.2.3) >>
endobj
189 0 obj
(Subf\363rmulas)
endobj
190 0 obj
<< /S /GoTo /D (subsection.3.2.4) >>
endobj
193 0 obj
(Variables libres y ligadas)
endobj
194 0 obj
<< /S /GoTo /D (section.3.3) >>
endobj
197 0 obj
(Sem\341ntica de la l\363gica de primer orden)
endobj
198 0 obj
<< /S /GoTo /D (subsection.3.3.1) >>
endobj
201 0 obj
(Estructuras, asignaciones e interpretaciones)
endobj
202 0 obj
<< /S /GoTo /D (subsection.3.3.2) >>
endobj
205 0 obj
(Evaluaci\363n de t\351rminos y f\363rmulas)
endobj
206 0 obj
<< /S /GoTo /D (subsection.3.3.3) >>
endobj
209 0 obj
(Modelo, satisfacibilidad y validez de f\363rmulas)
endobj
210 0 obj
<< /S /GoTo /D (subsection.3.3.4) >>
endobj
213 0 obj
(Modelo y consistencia de conjuntos de f\363rmulas)
endobj
214 0 obj
<< /S /GoTo /D (subsection.3.3.5) >>
endobj
217 0 obj
(Consecuencia l\363gica)
endobj
218 0 obj
<< /S /GoTo /D (subsection.3.3.6) >>
endobj
221 0 obj
(Equivalencia l\363gica)
endobj
222 0 obj
<< /S /GoTo /D (chapter.4) >>
endobj
225 0 obj
(Deducci\363n natural en l\363gica de primer orden)
endobj
226 0 obj
<< /S /GoTo /D (section.4.1) >>
endobj
229 0 obj
(Sustituciones)
endobj
230 0 obj
<< /S /GoTo /D (subsection.4.1.1) >>
endobj
233 0 obj
(Definici\363n de sustituci\363n)
endobj
234 0 obj
<< /S /GoTo /D (subsection.4.1.2) >>
endobj
237 0 obj
(Aplicaci\363n de sustituciones a t\351rminos)
endobj
238 0 obj
<< /S /GoTo /D (subsection.4.1.3) >>
endobj
241 0 obj
(Aplicaci\363n de sustituciones a f\363rmulas)
endobj
242 0 obj
<< /S /GoTo /D (subsection.4.1.4) >>
endobj
245 0 obj
(Sustituciones libres)
endobj
246 0 obj
<< /S /GoTo /D (section.4.2) >>
endobj
249 0 obj
(Reglas de deducci\363n natural de cuantificadores)
endobj
250 0 obj
<< /S /GoTo /D (subsection.4.2.1) >>
endobj
253 0 obj
(Reglas del cuantificador universal)
endobj
254 0 obj
<< /S /GoTo /D (subsection.4.2.2) >>
endobj
257 0 obj
(Reglas del cuantificador existencial)
endobj
258 0 obj
<< /S /GoTo /D (subsection.4.2.3) >>
endobj
261 0 obj
(Dmostraci\363n de equivalencias por deducci\363n natural)
endobj
262 0 obj
<< /S /GoTo /D (section.4.3) >>
endobj
265 0 obj
(Reglas de la igualdad)
endobj
266 0 obj
<< /S /GoTo /D (subsection.4.3.1) >>
endobj
269 0 obj
(Regla de eliminaci\363n de la igualdad)
endobj
270 0 obj
<< /S /GoTo /D (subsection.4.3.2) >>
endobj
273 0 obj
(Regla de introducci\363n de la igualdad)
endobj
274 0 obj
<< /S /GoTo /D (chapter.5) >>
endobj
277 0 obj
(Tableros sem\341nticos)
endobj
278 0 obj
<< /S /GoTo /D (section.5.1) >>
endobj
281 0 obj
(Tableros sem\341nticos proposicionales)
endobj
282 0 obj
<< /S /GoTo /D (subsection.5.1.1) >>
endobj
285 0 obj
(B\372squeda de modelos)
endobj
286 0 obj
<< /S /GoTo /D (subsection.5.1.2) >>
endobj
289 0 obj
(Notaci\363n uniforme)
endobj
290 0 obj
<< /S /GoTo /D (subsection.5.1.3) >>
endobj
293 0 obj
(Procedimiento de completaci\363n de tableros)
endobj
294 0 obj
<< /S /GoTo /D (subsection.5.1.4) >>
endobj
297 0 obj
(Modelos por tableros sem\341nticos)
endobj
298 0 obj
<< /S /GoTo /D (subsection.5.1.5) >>
endobj
301 0 obj
(Consistencia mediante tableros)
endobj
302 0 obj
<< /S /GoTo /D (subsection.5.1.6) >>
endobj
305 0 obj
(Teorema por tableros)
endobj
306 0 obj
<< /S /GoTo /D (subsection.5.1.7) >>
endobj
309 0 obj
(Deducci\363n por tableros)
endobj
310 0 obj
<< /S /GoTo /D (subsection.5.1.8) >>
endobj
313 0 obj
(Tableros en notaci\363n reducida)
endobj
314 0 obj
<< /S /GoTo /D (section.5.2) >>
endobj
317 0 obj
(Tableros sem\341nticos de primer orden)
endobj
318 0 obj
<< /S /GoTo /D (subsection.5.2.1) >>
endobj
321 0 obj
(F\363rmulas gamma y delta)
endobj
322 0 obj
<< /S /GoTo /D (subsection.5.2.2) >>
endobj
325 0 obj
(Consecuencia mediante tableros sem\341nticos)
endobj
326 0 obj
<< /S /GoTo /D (chapter.6) >>
endobj
329 0 obj
(Formas normales)
endobj
330 0 obj
<< /S /GoTo /D (section.6.1) >>
endobj
333 0 obj
(Forma normal conjuntiva)
endobj
334 0 obj
<< /S /GoTo /D (subsection.6.1.1) >>
endobj
337 0 obj
(Definici\363n de forma normal conjuntiva)
endobj
338 0 obj
<< /S /GoTo /D (subsection.6.1.2) >>
endobj
341 0 obj
(Algoritmo de c\341lculo de forma normal conjuntiva)
endobj
342 0 obj
<< /S /GoTo /D (subsection.6.1.3) >>
endobj
345 0 obj
(Decisi\363n de validez mediante FNC)
endobj
346 0 obj
<< /S /GoTo /D (section.6.2) >>
endobj
349 0 obj
(Forma normal disyuntiva)
endobj
350 0 obj
<< /S /GoTo /D (subsection.6.2.1) >>
endobj
353 0 obj
(Definici\363n de forma normal disyuntiva)
endobj
354 0 obj
<< /S /GoTo /D (subsection.6.2.2) >>
endobj
357 0 obj
(Algoritmo de c\341lculo de forma normal disyuntiva)
endobj
358 0 obj
<< /S /GoTo /D (subsection.6.2.3) >>
endobj
361 0 obj
(Decisi\363n de satisfacibilidad mediante FND)
endobj
362 0 obj
<< /S /GoTo /D (section.6.3) >>
endobj
365 0 obj
(C\341lculo de formas normales mediante tableros sem\341nticos)
endobj
366 0 obj
<< /S /GoTo /D (subsection.6.3.1) >>
endobj
369 0 obj
(Forma normal disyuntiva por tableros)
endobj
370 0 obj
<< /S /GoTo /D (subsection.6.3.2) >>
endobj
373 0 obj
(Forma normal conjuntiva por tableros)
endobj
374 0 obj
<< /S /GoTo /D (chapter.7) >>
endobj
377 0 obj
(Resoluci\363n proposicional)
endobj
378 0 obj
<< /S /GoTo /D (section.7.1) >>
endobj
381 0 obj
(L\363gica de cl\341usulas)
endobj
382 0 obj
<< /S /GoTo /D (subsection.7.1.1) >>
endobj
385 0 obj
(Sintaxis de la l\363gica clausal)
endobj
386 0 obj
<< /S /GoTo /D (subsection.7.1.2) >>
endobj
389 0 obj
(Sem\341ntica de la l\363gica clausal)
endobj
390 0 obj
<< /S /GoTo /D (subsection.7.1.3) >>
endobj
393 0 obj
(Equivalencias entre cl\341usulas y f\363rmulas)
endobj
394 0 obj
<< /S /GoTo /D (subsection.7.1.4) >>
endobj
397 0 obj
(Modelos, consistencia y consecuencia entre cl\341usulas)
endobj
398 0 obj
<< /S /GoTo /D (subsection.7.1.5) >>
endobj
401 0 obj
(Reducci\363n de consecuencia a inconsistencia de cl\341usulas)
endobj
402 0 obj
<< /S /GoTo /D (section.7.2) >>
endobj
405 0 obj
(Demostraciones por resoluci\363n)
endobj
406 0 obj
<< /S /GoTo /D (subsection.7.2.1) >>
endobj
409 0 obj
(Regla de resoluci\363n proposicional)
endobj
410 0 obj
<< /S /GoTo /D (subsection.7.2.2) >>
endobj
413 0 obj
(Demostraciones por resoluci\363n)
endobj
414 0 obj
<< /S /GoTo /D (section.7.3) >>
endobj
417 0 obj
(Algoritmos de resoluci\363n)
endobj
418 0 obj
<< /S /GoTo /D (subsection.7.3.1) >>
endobj
421 0 obj
(Algoritmo de resoluci\363n por saturaci\363n)
endobj
422 0 obj
<< /S /GoTo /D (subsection.7.3.2) >>
endobj
425 0 obj
(Algoritmo de saturaci\363n con simplificaci\363n)
endobj
426 0 obj
<< /S /GoTo /D (section.7.4) >>
endobj
429 0 obj
(Refinamientos de resoluci\363n)
endobj
430 0 obj
<< /S /GoTo /D (subsection.7.4.1) >>
endobj
433 0 obj
(Resoluci\363n positiva)
endobj
434 0 obj
<< /S /GoTo /D (subsection.7.4.2) >>
endobj
437 0 obj
(Resoluci\363n negativa)
endobj
438 0 obj
<< /S /GoTo /D (subsection.7.4.3) >>
endobj
441 0 obj
(Resoluci\363n unitaria)
endobj
442 0 obj
<< /S /GoTo /D (subsection.7.4.4) >>
endobj
445 0 obj
(Resoluci\363n por entradas)
endobj
446 0 obj
<< /S /GoTo /D (subsection.7.4.5) >>
endobj
449 0 obj
(Resoluci\363n lineal)
endobj
450 0 obj
<< /S /GoTo /D (section.7.5) >>
endobj
453 0 obj
(Argumentaci\363n por resoluci\363n)
endobj
454 0 obj
<< /S /GoTo /D (subsection.7.5.1) >>
endobj
457 0 obj
(Formalizaci\363n de argumentaci\363n por resoluci\363n)
endobj
458 0 obj
<< /S /GoTo /D (subsection.7.5.2) >>
endobj
461 0 obj
(Decisi\363n de argumentaci\363n por resoluci\363n)
endobj
462 0 obj
<< /S /GoTo /D (chapter.8) >>
endobj
465 0 obj
(Formas normales de Skolem y cl\341usulas)
endobj
466 0 obj
<< /S /GoTo /D (section.8.1) >>
endobj
469 0 obj
(Formas normales)
endobj
470 0 obj
<< /S /GoTo /D (subsection.8.1.1) >>
endobj
473 0 obj
(Forma rectificada)
endobj
474 0 obj
<< /S /GoTo /D (subsection.8.1.2) >>
endobj
477 0 obj
(Forma normal prenexa)
endobj
478 0 obj
<< /S /GoTo /D (subsection.8.1.3) >>
endobj
481 0 obj
(Forma normal prenexa conjuntiva)
endobj
482 0 obj
<< /S /GoTo /D (subsection.8.1.4) >>
endobj
485 0 obj
(Forma de Skolem)
endobj
486 0 obj
<< /S /GoTo /D (section.8.2) >>
endobj
489 0 obj
(Cl\341usulas de primer orden)
endobj
490 0 obj
<< /S /GoTo /D (subsection.8.2.1) >>
endobj
493 0 obj
(Sintaxis de la l\363gica clausal de primer orden)
endobj
494 0 obj
<< /S /GoTo /D (subsection.8.2.2) >>
endobj
497 0 obj
(Sem\341ntica de la l\363gica clausal de primer orden)
endobj
498 0 obj
<< /S /GoTo /D (subsection.8.2.3) >>
endobj
501 0 obj
(Forma clausal de una f\363rmula)
endobj
502 0 obj
<< /S /GoTo /D (subsection.8.2.4) >>
endobj
505 0 obj
(Forma clausal de un conjunto de f\363rmulas)
endobj
506 0 obj
<< /S /GoTo /D (subsection.8.2.5) >>
endobj
509 0 obj
(Reduci\363n de consecuencia e inconsistencia de cl\341usulas)
endobj
510 0 obj
<< /S /GoTo /D (chapter.9) >>
endobj
513 0 obj
(Modelos de Herbrand)
endobj
514 0 obj
<< /S /GoTo /D (section.9.1) >>
endobj
517 0 obj
(Modelos de Herbrand)
endobj
518 0 obj
<< /S /GoTo /D (subsection.9.1.1) >>
endobj
521 0 obj
(Reducci\363n de la LPO b\341sica a proposicional)
endobj
522 0 obj
<< /S /GoTo /D (subsection.9.1.2) >>
endobj
525 0 obj
(Universo de Herbrand)
endobj
526 0 obj
<< /S /GoTo /D (subsection.9.1.3) >>
endobj
529 0 obj
(Base de Herbrand)
endobj
530 0 obj
<< /S /GoTo /D (subsection.9.1.4) >>
endobj
533 0 obj
(Interpretaciones de Herbrand)
endobj
534 0 obj
<< /S /GoTo /D (subsection.9.1.5) >>
endobj
537 0 obj
(Modelos de Herbrand)
endobj
538 0 obj
<< /S /GoTo /D (section.9.2) >>
endobj
541 0 obj
(Teorema de Herbrand y decisi\363n de la consistencia)
endobj
542 0 obj
<< /S /GoTo /D (subsection.9.2.1) >>
endobj
545 0 obj
(Interpretaci\363n de Herbrand de una interpretaci\363n)
endobj
546 0 obj
<< /S /GoTo /D (subsection.9.2.2) >>
endobj
549 0 obj
(Consistencia mediante modelos de Herbrand)
endobj
550 0 obj
<< /S /GoTo /D (subsection.9.2.3) >>
endobj
553 0 obj
(Extensiones de Herbrand)
endobj
554 0 obj
<< /S /GoTo /D (subsection.9.2.4) >>
endobj
557 0 obj
(Teorema de Herbrand)
endobj
558 0 obj
<< /S /GoTo /D (subsection.9.2.5) >>
endobj
561 0 obj
(Semidecisi\363n mediante el teorema de Herbrand)
endobj
562 0 obj
<< /S /GoTo /D (chapter.10) >>
endobj
565 0 obj
(Resoluci\363n en l\363gica de primer orden)
endobj
566 0 obj
<< /S /GoTo /D (section.10.1) >>
endobj
569 0 obj
(Introducci\363n)
endobj
570 0 obj
<< /S /GoTo /D (subsection.10.1.1) >>
endobj
573 0 obj
(Ejemplos de consecuencia mediante resoluci\363n)
endobj
574 0 obj
<< /S /GoTo /D (section.10.2) >>
endobj
577 0 obj
(Unificaci\363n)
endobj
578 0 obj
<< /S /GoTo /D (subsection.10.2.1) >>
endobj
581 0 obj
(Unificadores)
endobj
582 0 obj
<< /S /GoTo /D (subsection.10.2.2) >>
endobj
585 0 obj
(Composici\363n de sustituciones)
endobj
586 0 obj
<< /S /GoTo /D (subsection.10.2.3) >>
endobj
589 0 obj
(Comparaci\363n de sustituciones)
endobj
590 0 obj
<< /S /GoTo /D (subsection.10.2.4) >>
endobj
593 0 obj
(Unificador de m\341xima generalidad)
endobj
594 0 obj
<< /S /GoTo /D (subsection.10.2.5) >>
endobj
597 0 obj
(Algoritmo de unificaci\363n)
endobj
598 0 obj
<< /S /GoTo /D (section.10.3) >>
endobj
601 0 obj
(Resoluci\363n de primer orden)
endobj
602 0 obj
<< /S /GoTo /D (subsection.10.3.1) >>
endobj
605 0 obj
(Separaci\363n de variables)
endobj
606 0 obj
<< /S /GoTo /D (subsection.10.3.2) >>
endobj
609 0 obj
(Resolvente binaria)
endobj
610 0 obj
<< /S /GoTo /D (subsection.10.3.3) >>
endobj
613 0 obj
(Factorizaci\363n)
endobj
614 0 obj
<< /S /GoTo /D (subsection.10.3.4) >>
endobj
617 0 obj
(Demostraciones por resoluci\363n)
endobj
618 0 obj
<< /S /GoTo /D (subsection.10.3.5) >>
endobj
621 0 obj
(Adecuaci\363n y completitud de la resoluci\363n)
endobj
622 0 obj
<< /S /GoTo /D (subsection.10.3.6) >>
endobj
625 0 obj
(Decisi\363n de no--consecuencia por resoluci\363n)
endobj
626 0 obj
<< /S /GoTo /D (Item.136) >>
endobj
629 0 obj
(Bibliograf\355a)
endobj
630 0 obj
<< /S /GoTo /D [631 0 R /Fit ] >>
endobj
638 0 obj <<
/Length 387
/Filter /FlateDecode
>>
stream
xڅRn0}i~}c
JQSȁY$R>[т"E \'z^%?&H
R@$QCcZeoNَIL[jyv/nk.1OHڟhT7T"%ZҝjsɅ3a0$*xkFϐ2jmȥ{
ɯ*PKrBp}a +BU1Sѭ#yndLZao궊H&r;> endobj
632 0 obj <<
/Type /Annot
/Border[0 0 1]/H/I/C[0 1 1]
/Rect [226.808 552.366 376.192 573.188]
/Subtype/Link/A<>
>> endobj
633 0 obj <<
/Type /Annot
/Border[0 0 1]/H/I/C[0 1 1]
/Rect [218.666 533.536 384.333 554.358]
/Subtype/Link/A<>
>> endobj
634 0 obj <<
/Type /Annot
/Border[0 0 1]/H/I/C[0 1 1]
/Rect [76.981 174.449 287.135 195.271]
/Subtype/Link/A<>
>> endobj
635 0 obj <<
/Type /Annot
/Border[0 0 1]/H/I/C[0 1 1]
/Rect [76.981 155.62 463.117 176.442]
/Subtype/Link/A<>
>> endobj
636 0 obj <<
/Type /Annot
/Border[0 0 1]/H/I/C[0 1 1]
/Rect [76.981 136.79 216.107 157.612]
/Subtype/Link/A<>
>> endobj
639 0 obj <<
/D [631 0 R /XYZ 72 743.489 null]
>> endobj
640 0 obj <<
/D [631 0 R /XYZ 72 723.689 null]
>> endobj
637 0 obj <<
/Font << /F45 641 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
650 0 obj <<
/Length 1260
/Filter /FlateDecode
>>
stream
xڥWKs6WHX#7Iv(edHB!)ɯТ#;",bۧdd,/B&JJ\$K
,Hwɧ0VYj}0nU_,R.7]m_Mkt7
cʶ_2ScGEF$WeJB,}ei5ȱmk[q]-ĩ9ETY[339o_,I$8eRb2:Y||
s$N*Ԡe!Teg7ۣ.mU6`[j`Ep.%(LEAxtjk0{to>A.Y0N)yC
v:0?@,ㄳDRAʛu.Dxvt."kkĭPDdndyHV14cYh?O*O_g%Sw/HK3#2rLwBy|nU^[efWMWu^r
"Pd~
17|
dh;e]!:牂LSOxpԱGӘ1Sa)i)cp1Jd^6\Q>HUhT"~Gayik֓)9"2f ڢWpc6#£{qrV{cn|hK*n^t1g z\v#B!ZnZy)K̜zs@o
gg5BH~=bDA[Fn)ƒ8wӧh[t556Rb9(I܆EADlCNySFB ;:=o;M㆙ww4|Xf\asޕ/@_P"weI B.). *,!`/hș$0jChƦI;w;P6No81QwpbKޫLflm ;?KwϠ)j{f_pL sجB.cËqn:fj }+j\yy
;@Etwg#so7W652|.e5ު֎#,+oKJiFAcswJ5X]Z{_]G?hl.
endstream
endobj
649 0 obj <<
/Type /Page
/Contents 650 0 R
/Resources 648 0 R
/MediaBox [0 0 595.276 841.89]
/Parent 642 0 R
/Annots [ 646 0 R 647 0 R ]
>> endobj
643 0 obj <<
/Type /XObject
/Subtype /Image
/Width 95
/Height 64
/BitsPerComponent 8
/ColorSpace /DeviceGray
/Length 1098
/Filter /FlateDecode
/DecodeParms << /Colors 1 /Columns 95 /BitsPerComponent 8 /Predictor 10 >>
>>
stream
X/{02|̅e1\;%0A
LY]ue6V:`-NI$KNwӫ|-9IA١l8AA.!ٷ}L/"Z"<=uBqmKᯟ8WVwX{^mnejGzx24#֝_/3%Qı9spg}
1>Ux) LknX2u=5ʪ/F:~/]Ap#lNCRn>/~qֿq*xMB@,xs?h;'[^Dm