Entrega 2 - Lógica Matemática II-2017

Posted on October 25, 2017 by Pedro Z.

ENTREGA 2  - LÓGICA MATEMÁTICA:

SI UN DOCUMENTO ENVIADO NO CUMPLE ALGUNA DE LAS SIGUIENTES PAUTAS, NO SERÁ RECIBIDO. DEBE CUMPLIR TODAS.

ENVIAR A MI EMAIL INSTITUCIONAL.

  • UN sólo archivo pdf INDIVIDUAL en formato  \LaTeX.
  • En el cuerpo del email y en la primera página del pdf, especificar NOMBRE DEL ESTUDIANTE, CÓDIGO E EMAIL DE LA UNAL. DOCUMENTOS NO MARCADOS DENTRO DEL PDF NO SERÁN CALIFICADOS.
  • Enviar con asunto "ENTREGA 2 Lógica Matemática II-2017", hasta las 17:59 HORAS (5:59 P.M.)   del MIÉRCOLES 25 DE OCTUBRE DE 2017. DOCUMENTOS ENVIADOS LUEGO DE ESA HORA NO SERÁN REVISADOS.

Demuestre o refute: si una \mathcal{L}-teoría de primer orden \Sigma es de Henkin, si \mathcal{M},\mathcal{N}\models \Sigma son tales que \mathcal{M}\subseteq \mathcal{N} entonces \mathcal{M}\prec \mathcal{N}.

This entry was posted in Logica Matematica II-2017. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>