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.
