Lógica - Problema de Lògica con Teorema de Compacidad

   
Vista:

Problema de Lògica con Teorema de Compacidad

Publicado por Carlos (1 intervención) el 01/12/2015 21:39:02
Sea Γ un conjunto de sentencias tal que toda interpretación hace verdadera al menos una sentencia de Γ. Demuestre que hay un conjunto finito de sentencias de Γ tal que la disyunción de sus elementos es una formula válida.

Sugerencia: construya a partir de Γ un conjunto insatisfacible y aplique compacidad.

Me pueden guiar para resolverlo?

Gracias
Valora esta pregunta
Me gusta: Está pregunta es útil y esta claraNo me gusta: Está pregunta no esta clara o no es útil
0
Responder
información
Otras secciones de LWP con contenido de Lógica
- Cursos de Lógica
- Temas de Lógica
información
Cursos y Temas de Lógica
- El juego de Hintikka de la lógica
- Manual de lógica
- Elementos de lógica difusa