%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
(Deducci\363n natural proposicional)
endobj
14 0 obj
<< /S /GoTo /D (chapter.3) >>
endobj
17 0 obj
(Formas normales)
endobj
18 0 obj
<< /S /GoTo /D (chapter.4) >>
endobj
21 0 obj
(Tableros sem\341nticos)
endobj
22 0 obj
<< /S /GoTo /D (chapter.5) >>
endobj
25 0 obj
(Resoluci\363n 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
(Resoluci\363n en l\363gica de primer orden)
endobj
42 0 obj
<< /S /GoTo /D [43 0 R /Fit ] >>
endobj
45 0 obj <<
/Length 409
/Filter /FlateDecode
>>
stream
xڍSMo0W F[ǶۊuOuFl9MدIs|g>ȁNr{-w6BFaCKP(3+`Ⱦ)ؗsy̝hTo~\ WMW֙49Rj7Ri#^`@hB,pT8Kj8ˬjP*j]%}:9HH͟q(VMb"h=dN@
M Hޱ9i==I6j[pr( ,o~_qןvfmC}q/|
8qўOҌ-ihڸ#C,$R|mXW}[гf%iw@~7endstream
endobj
43 0 obj <<
/Type /Page
/Contents 45 0 R
/Resources 44 0 R
/MediaBox [0 0 595.2756 841.8898]
/Parent 55 0 R
/Annots [ 51 0 R 52 0 R 53 0 R 54 0 R ]
>> endobj
51 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
52 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
53 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
54 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
46 0 obj <<
/D [43 0 R /XYZ 72 743.4888 null]
>> endobj
47 0 obj <<
/D [43 0 R /XYZ 72 723.6892 null]
>> endobj
44 0 obj <<
/Font << /F38 50 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
61 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/\