Práctica 5 LyC 2do Cuatrimestre 2017 (Depto. de Computación)

De Cuba-Wiki
Revisión del 16:10 16 nov 2017 de Berocs (discusión | contribs.) (Agrega ejercicio 3 con solución. Copiado de https://apuntes.github.io/site/lyc/practicas.html)
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)

Ejercicio 3[editar]

Sea un conjunto de fórmulas del lenguaje . Demostrar que es inconsistente sii para toda .

Solución[editar]

Como es inconsistente, entonces también lo es, ya que lo que puedo demostrar en el primer caso también lo puedo hacer en el segundo.

Por la proposición de la página 170 de la teórica, entonces:

Y análogamente con obtenemos

Falta probar .