%PDF-1.4
%
1 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
2 0 obj
<< /S /GoTo /D (chapter.1) >>
endobj
5 0 obj
(Sintaxis y sem\341ntica de la l\363gica proposicional)
endobj
6 0 obj
<< /S /GoTo /D (section.1.1) >>
endobj
9 0 obj
(Ejercicios resueltos)
endobj
10 0 obj
<< /S /GoTo /D (section.1.2) >>
endobj
13 0 obj
(Ejercicios propuestos)
endobj
14 0 obj
<< /S /GoTo /D (section.1.3) >>
endobj
17 0 obj
(Ejercios de ex\341menes)
endobj
18 0 obj
<< /S /GoTo /D (chapter.2) >>
endobj
21 0 obj
(Deducci\363n natural proposicional)
endobj
22 0 obj
<< /S /GoTo /D (section.2.1) >>
endobj
25 0 obj
(Ejercicios resueltos)
endobj
26 0 obj
<< /S /GoTo /D (section.2.2) >>
endobj
29 0 obj
(Ejercicios propuestos)
endobj
30 0 obj
<< /S /GoTo /D (section.2.3) >>
endobj
33 0 obj
(Ejercicios de ex\341menes)
endobj
34 0 obj
<< /S /GoTo /D (chapter.3) >>
endobj
37 0 obj
(Tableros sem\341nticos)
endobj
38 0 obj
<< /S /GoTo /D (section.3.1) >>
endobj
41 0 obj
(Ejercicios resueltos)
endobj
42 0 obj
<< /S /GoTo /D (section.3.2) >>
endobj
45 0 obj
(Ejercicios propuestos)
endobj
46 0 obj
<< /S /GoTo /D (section.3.3) >>
endobj
49 0 obj
(Ejercicios de ex\341menes)
endobj
50 0 obj
<< /S /GoTo /D (chapter.4) >>
endobj
53 0 obj
(Formales normales)
endobj
54 0 obj
<< /S /GoTo /D (section.4.1) >>
endobj
57 0 obj
(Ejercicios resueltos)
endobj
58 0 obj
<< /S /GoTo /D (section.4.2) >>
endobj
61 0 obj
(Ejercicios propuestos)
endobj
62 0 obj
<< /S /GoTo /D (section.4.3) >>
endobj
65 0 obj
(Ejercicios de ex\341menes)
endobj
66 0 obj
<< /S /GoTo /D (chapter.5) >>
endobj
69 0 obj
(Resoluci\363n proposicional)
endobj
70 0 obj
<< /S /GoTo /D (section.5.1) >>
endobj
73 0 obj
(Ejercicios resueltos)
endobj
74 0 obj
<< /S /GoTo /D (section.5.2) >>
endobj
77 0 obj
(Ejercicios propuestos)
endobj
78 0 obj
<< /S /GoTo /D (section.5.3) >>
endobj
81 0 obj
(Ejercicios de ex\341menes)
endobj
82 0 obj
<< /S /GoTo /D (chapter.6) >>
endobj
85 0 obj
(Sintaxis y sem\341ntica de la l\363gica de primer orden)
endobj
86 0 obj
<< /S /GoTo /D (section.6.1) >>
endobj
89 0 obj
(Ejercicios resueltos)
endobj
90 0 obj
<< /S /GoTo /D (section.6.2) >>
endobj
93 0 obj
(Ejercicios propuestos)
endobj
94 0 obj
<< /S /GoTo /D (section.6.3) >>
endobj
97 0 obj
(Ejercicios de ex\341menes)
endobj
98 0 obj
<< /S /GoTo /D (chapter.7) >>
endobj
101 0 obj
(Deducci\363n natural de primer orden)
endobj
102 0 obj
<< /S /GoTo /D (section.7.1) >>
endobj
105 0 obj
(Ejercicios resueltos)
endobj
106 0 obj
<< /S /GoTo /D (section.7.2) >>
endobj
109 0 obj
(Ejercicios propuestos)
endobj
110 0 obj
<< /S /GoTo /D (section.7.3) >>
endobj
113 0 obj
(Ejercicios de ex\341menes)
endobj
114 0 obj
<< /S /GoTo /D (chapter.8) >>
endobj
117 0 obj
(Tableros sem\341nticos)
endobj
118 0 obj
<< /S /GoTo /D (section.8.1) >>
endobj
121 0 obj
(Ejercicios resueltos)
endobj
122 0 obj
<< /S /GoTo /D (section.8.2) >>
endobj
125 0 obj
(Ejercicios propuestos)
endobj
126 0 obj
<< /S /GoTo /D (chapter.9) >>
endobj
129 0 obj
(Formas normales. Cl\341usulas)
endobj
130 0 obj
<< /S /GoTo /D (section.9.1) >>
endobj
133 0 obj
(Ejercicios resueltos)
endobj
134 0 obj
<< /S /GoTo /D (chapter.10) >>
endobj
137 0 obj
(Modelos de Herbrand)
endobj
138 0 obj
<< /S /GoTo /D (section.10.1) >>
endobj
141 0 obj
(Ejercicios resueltos)
endobj
142 0 obj
<< /S /GoTo /D (chapter.11) >>
endobj
145 0 obj
(Cl\341usulas. Modelos de Herbrand. Resoluci\363n)
endobj
146 0 obj
<< /S /GoTo /D (section.11.1) >>
endobj
149 0 obj
(Ejercicios resueltos)
endobj
150 0 obj
<< /S /GoTo /D (section.11.2) >>
endobj
153 0 obj
(Ejercios propuestos)
endobj
154 0 obj
<< /S /GoTo /D (Item.711) >>
endobj
157 0 obj
(Bibliograf\355a)
endobj
158 0 obj
<< /S /GoTo /D [159 0 R /Fit ] >>
endobj
167 0 obj <<
/Length 427
/Filter /FlateDecode
>>
stream
xuSMo0++0dMjU)@eI"VPzy3op
7 O,{! |DIDȘ$fPp~-Mm۔Ii+g:yPq9>@.D)J+*)H*Cto8c*ͪR$ EB+'5 1֜mx>a$/2HQÅiGY?e;OcBj?֦