
\magnification=1200 \nopagenumbers \baselineskip=13pt
\parskip=4pt plus 1pt
\topskip=35pt \hsize 15truecm \vsize 21.25truecm
\def\itemitemitem{\par\indent\indent\hangindent=3\parindent\textindent}\def\itemitempegao{\hangindent=2\parindent\textindent}
\def\itemitemitempegao{\hangindent=3\parindent\textindent}
\font\ver=cmcsc10 \font\bmath=cmmib10

\centerline{{\bf Examen de Log\'\i ca.}} \vskip 2 truecm {\bf 1)}  Demuestra si las siguientes palabras del cá\'alculo
proposicional son teoremas.

$$X\to Y \iff \overline{(\overline X\wedge Y)}\wedge \overline{( \overline Y\wedge X)}$$
$$X\wedge Y\wedge \overline X\to Z$$



\vskip 1truecm






{\bf 2)}  Construye un conjunto consistente maximal del c\'alculo proposicional. ¿Es cierto que dado un conjunto
consistente maximal $X$ existe otro conjunto consistente maximal $Y$ formado s\'olo por palabras at\'omicas tal que
$C(X)=C(Y)$?\vskip 1truecm

{\bf 3)}  ¿Podr\'\i a una maquina de Turing con infinitos estados realizar alguna tarea que no realizara una maquina de
Turing convencional?\vskip 1truecm

{\bf 4)}  Estudia si la maquina de imprimir expuesta en el trabajo de Gödel es un ejemplo de sistema axiom\'atico
consistente y no completo. \vskip 1truecm {\bf 5)}  Enumera y relaciona razonadamente cada una de las l\'ogicas que se
han estudiado en este curso.







\vskip 3truecm



\hfill M\'alaga a 6 de Marzo de 2003.

\end
