Edición de «Parcial de Lógica Verano 2017 (LyC)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 29: | Línea 29: | ||
'''a.''' Sea <math>\Gamma</math> un conjunto de axiomas correcto y completo respecto a <math>\mathcal{C}_1</math>. Si <math>\mathcal{C}_2 \neq \mathcal{C}_1</math>, entonces <math>\Gamma</math> no es completa respecto a <math>\mathcal{C}_2</math>. | '''a.''' Sea <math>\Gamma</math> un conjunto de axiomas correcto y completo respecto a <math>\mathcal{C}_1</math>. Si <math>\mathcal{C}_2 \neq \mathcal{C}_1</math>, entonces <math>\Gamma</math> no es completa respecto a <math>\mathcal{C}_2</math>. | ||
'''b.''' Sean <math>\Gamma_1 = \lbrace \varphi \mid \mathcal{C}_1 \models \varphi \rbrace</math> y <math>\Gamma_2 = \lbrace \varphi \mid \mathcal{C}_2 \models \varphi \rbrace</math>. Si <math>\mathcal{C}_1 \subseteq \mathcal{C}_2</math> entonces <math>\ | '''b.''' Sean <math>\Gamma_1 = \lbrace \varphi \mid \mathcal{C}_1 \models \varphi \rbrace</math> y <math>\Gamma_2 = \lbrace \varphi \mid \mathcal{C}_2 \models \varphi \rbrace</math>. Si <math>\mathcal{C}_1 \subseteq \mathcal{C}_2</math> entonces <math>\Gamma_2 \supseteq \Gamma_1</math>. | ||
''Nota:'' Decimos que <math>\mathcal{C} \models \varphi</math> sii para toda <math>\mathcal{L}</math>-estructura <math>\mathcal{A} \in \mathcal{C}</math> | ''Nota:'' Decimos que <math>\mathcal{C} \models \varphi</math> sii para toda <math>\mathcal{L}</math>-estructura <math>\mathcal{A} \in \mathcal{C}</math> | ||
sucede que <math>\mathcal{A} \models \varphi</math>. | sucede que <math>\mathcal{A} \models \varphi</math>. |