Preguntas orientadoras para el examen de tericos

Diego Tajer 7 de julio de 2011

Resumen
Aclaracin: no s exactamente qu preguntarn en tericos. Estas preguntas estn basadas en mis suposiciones (y en preguntas de exmenes viejos), que pueden fallar.

1.

Ejercicios

1. Pruebe: Si 2. Pruebe: Si

A, entonces

(B A) (B A)

(A B ), entonces

3. Pruebe: Si {B, A} es consistente, entonces {A, B } tiene modelo. 4. Prueba: Si {B, A} es consistente, entonces {B } tiene modelo. 5. Verdadero o falso (justique):
a ) Siempre que se pueda obtener A como consecuencia lgica de un conjunto nito 0 , se podr obtener A de un conjunto innito. b ) Si un determinado nmero tiene la propiedad P, entonces el siguiente

c)

d) e) f)

g) h)

nmero tiene la propiedad P. Por lo tanto, todos los nmeros tienen la propiedad P. En algunos sistemas lgicos no existe un mtodo mecnico para determinar si A o A son teoremas en esos sistemas. Esto implica que esos sistemas no son completos. Un argumento invlido sigue siendo invlido cuando uno le agrega premisas. Sea A = {p, q }. Podemos construir un conjunto maximal consistente a partir de A. Si bien todo conjunto maximal consistente tiene modelo, no todo conjunto consistente lo tiene. Por eso es necesario el Lema de Lindenbaum. Un sistema absolutamente inconsistente es decidible. Si A B , entonces (A B )

i ) Hemos demostrado que existe una derivacin en 1 paso de la frmula

j) k) l) m)

n) )

A en SP. Sin embargo, no sabemos si A es un teorema de SP, ya que no sabemos si hay derivaciones en n pasos, para cada n posible. Si un conjunto es inconsistente, tiene modelo pero no es una verdad lgica. Puede que un conjunto sea insatisfacible pero todos sus subconjuntos sean satisfacibles. Cualquier conjunto maximal consistente slo incluye verdades lgicas. Si hay una funcin biyectiva que tiene como conjunto de partida a A y como conjunto de llegada a B, entonces hay una funcin biyectiva que tiene como conjunto de partida a B y como conjunto de llegada a A. Para todo conjunto A, A = A Para cualesquiera conjuntos A y B, A B = (A ) B