Lógica (Segundo cuatrimestre de 2014)

Lecturas para clases teóricas:

Semana 13:

Parcial de teóricos: Miércoles 29 de Octubre (19 hs).

Metalógica: Completitud

Temas: Matalógica

Guia de Metalógica (Caps.1, 2, 3, 4 y 5 – hasta resultado 5.13 p 74. ).
Reflexione:

¿Si un razonamiento tiene a “A” y “¬A” como premisas quiere decir que es inválido? ¿la lógica que lo contiene es inconsistente?
¿Sabemos que un conjunto de fórmulas tiene a “A v B”, a “¬B”  y “¬A” ¿es ese conjunto satisfacible?
“No se puede probar la consistencia de un conjunto infinito de fórmulas ya que somos seres finitos” es una afirmación verdadera?
“Hay conjuntos inconsistentes que tienen modelo” es una afirmación verdadera?
Teóricos:

Lunes y viernes de 19 a 21 hs.

Tema:     Metalógica

Bibliografía: Ficha de Metalógica
Fichas

Conjuntos 1
Conjuntos 2

Archivos relacionados: (hacer click para descargar)