%PDF-1.4
5 0 obj <<
/Type /Metadata /Subtype /XML
/Length 979
>>
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 (chapter.2) >>
endobj
13 0 obj
(Equivalencias y formas normales)
endobj
14 0 obj
<< /S /GoTo /D (chapter.3) >>
endobj
17 0 obj
(Tableros sem\341nticos)
endobj
18 0 obj
<< /S /GoTo /D (chapter.4) >>
endobj
21 0 obj
(L\363gica clausual. Resoluci\363n proposicional)
endobj
22 0 obj
<< /S /GoTo /D (chapter.5) >>
endobj
25 0 obj
(Deducci\363n natural proposicional)
endobj
26 0 obj
<< /S /GoTo /D (chapter.6) >>
endobj
29 0 obj
(Sintaxis y sem\341ntica de la l\363gica de primer orden)
endobj
30 0 obj
<< /S /GoTo /D (chapter.7) >>
endobj
33 0 obj
(Deducci\363n natural en l\363gica de primer orden)
endobj
34 0 obj
<< /S /GoTo /D (chapter.8) >>
endobj
37 0 obj
(Formas normales. Cl\341usulas)
endobj
38 0 obj
<< /S /GoTo /D (chapter.9) >>
endobj
41 0 obj
(Modelos de Herbrand)
endobj
42 0 obj
<< /S /GoTo /D (chapter.10) >>
endobj
45 0 obj
(Resoluci\363n en l\363gica de primer orden)
endobj
46 0 obj
<< /S /GoTo /D [47 0 R /Fit ] >>
endobj
49 0 obj <<
/Length 442
/Filter /FlateDecode
>>
stream
xڍSMo0+|316QQ/U)䀀,ٲl*whC77Af3JreeuVVF!
pm>C7%cTDeBqc
1ъ).'I*2v]K!RjuB>c_JaDP2
N<j\lh Rmy.p,%5,Bw|[!u~&,ʐKI8svո8s1A7ˇP@xˍƃqԜXCpl~8qeZ롋gӻQq搗1EnØt.s|7T~U$ dfN-*/%v
hwxF{8@pGxM\=#=[Jp٘-ucv&(Pןֻendstream
endobj
47 0 obj <<
/Type /Page
/Contents 49 0 R
/Resources 48 0 R
/MediaBox [0 0 595.2756 841.8898]
/Parent 60 0 R
/Annots [ 55 0 R 56 0 R 57 0 R 58 0 R 59 0 R ]
>> endobj
55 0 obj <<
/Type /Annot
/Border[0 0 1]/H/I/C[0 1 1]
/Rect [194.3615 550.5969 408.6385 573.1875]
/Subtype/Link/A<>
>> endobj
56 0 obj <<
/Type /Annot
/Border[0 0 1]/H/I/C[0 1 1]
/Rect [195.508 529.9989 407.492 552.5895]
/Subtype/Link/A<>
>> endobj
57 0 obj <<
/Type /Annot
/Border[0 0 1]/H/I/C[0 1 1]
/Rect [76.9813 174.449 287.1348 195.2709]
/Subtype/Link/A<>
>> endobj
58 0 obj <<
/Type /Annot
/Border[0 0 1]/H/I/C[0 1 1]
/Rect [76.9813 155.6196 463.1171 176.4415]
/Subtype/Link/A<>
>> endobj
59 0 obj <<
/Type /Annot
/Border[0 0 1]/H/I/C[0 1 1]
/Rect [76.9813 136.7901 216.1074 157.6121]
/Subtype/Link/A<>
>> endobj
50 0 obj <<
/D [47 0 R /XYZ 72 743.4888 null]
>> endobj
51 0 obj <<
/D [47 0 R /XYZ 72 723.6892 null]
>> endobj
48 0 obj <<
/Font << /F38 54 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
66 0 obj <<
/Length 1407
/Filter /FlateDecode
>>
stream
xWK6Wḩ"9mw92w$:m;Zy#;
Ё3|$M|4)XR,]?hNa?xy$˄Ҭ%(JdrfJ.;;pI7)d"ccn>^[ A*-W>dnE2^2$UŒv%dj$7<Ò6uWkf(Tadqv~cj&~ӵlmZ0l
-pq$ T?Q522 l3^#,F)ml`.y9@6
V^r*̻e{l9Mr)3\oͨqdc2# (OgezN2,3'F 8Q J7/8%E:j{0bۛahz\3
/OlF:Df,'Kc{UQ!@{%N*L 8)>x!"Mmla0wGzʷ*&R@h\y}䵅HfQ"ӹ̅Hde4)
Q8Es3%];(%[c2<'urތL`qnU67'4QHk3GulP`gm1yӠz{;]_2dbjң=#r:hwrKxXřvz^gp4QeUAAɼ00*^>ܻ[3a:\)5i28f}䏽[G:T}!~vrNw+ލO9؇WSnzKhrX\DCc,&Ap|ṦíEn7BQX!P:;W b}|@LǜR/\