Autor Tema: Demostración sobre conjunto e inferencia lógica

0 Usuarios y 1 Visitante están viendo este tema.

15 Julio, 2008, 06:23 pm
Leído 960 veces

skinboy

  • Aprendiz
  • Mensajes: 259
  • Karma: +0/-0
  • Sexo: Masculino
Hola

Ejercicio:

(\( \Omega \) es un conjunto de fórmulas bien formadas)
(\( \models \) es inferencia)
Suponiendo que \( \Omega \models A \), ¿Puede existir un subconjunto \( \Omega^{\prime} \) tal que \( \Omega \subseteq{}\Omega^{\prime}  \) y no sea \(  \Omega^{\prime} \models A   \)?


Por intuición supongo que no es posible pero no estoy seguro y no sé muy bien como desmostrarlo.